CSP-S

"Implementation of CSP-S for Description of Distributed Algorithms", L. Patnaik et al, Computer Languages 9(3):193-202 (1984).