Source : Free On-Line Dictionary of Computing
Idealized CSP
A programming language combining simply typed,
{call-by-name} {procedures} with {asynchronous} communicating
processes, assuming fair parallel execution. Idealized CSP
generalises {Anthony Hoare}'s original {CSP} and Kahn's
networks of {deterministic} processes, and is closely related
to {Parallel Algol} by Stephen Brookes of {CMU}.
Procedures permit the encapsulation of common {protocols} and
parallel programming idioms. {Local variables} and local
channel declarations provide a way to delimit the scope of
interference between parallel agents, and allow a form of
concurrent {object-oriented programming}.
[Was this language also designed by Brookes?]
(1997-09-26)