Based on CSP.
"CSP/80: A Language for Communicating Processes", M. Jazayeri et al, Proc Fall COMPCON80, IEEE pp.736-740 (Sept 1980).
Try this search on Wikipedia, OneLook, Google
Nearby terms: CSNET « CSO « CSP « CSP/80 » CS/PCode » CSP/k » CS-Prolog
