CSP-S

["Implementation of CSP-S for Description of Distributed Algorithms", L. Patniak et al, Comput Lang 9(3):193-202 (1984)].