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)].