language A programming language combining simply typed,
processes, assuming fair parallel execution. Idealized CSP
Procedures permit the encapsulation of common
protocols and
channel declarations provide a way to delimit the scope of
interference between parallel agents, and allow a form of
[Was this language also designed by Brookes?]
(1997-09-26)