CSPS
["Toward Comprehensive Specification of Distributed Systems",
G. Roman et al, Proc 7th Intl Conf on Distrib Comp Sys, IEEE
1987, pp. 282-289].
CSP-S
["Implementation of CSP-S for Description of Distributed
Algorithms", L. Patniak et al, Comput Lang 9(3):193-202
(1984)].