idealized csp

from The Free On-line Dictionary of Computing (8 July 2008)
Idealized CSP

   <language> 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)