RBCSP

Roper & Barter's CSP

"A Communicating Sequential Process Language and Implementation", T. Roper & J. Barter, Software Practice & Experience 11(11):1215-1234 (Nov 1981).