RBCSP

Search:

RBCSP

Roper and Barter's CSP.

["A Communicating Sequential Process Language and Implementation", T. Roper & J. Barter, Soft Prac & Exp 11(11):1215-1234 (Nov 1981)].