Communicating Sequential Processes

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

Communicating Sequential Processes

   <language, parallel> (CSP) A notation for {concurrency} based
   on {synchronous message passing} and selective communications
   designed by {Anthony Hoare} in 1978.  It features {cobegin}
   and coend and was a precursor to {occam}.

   See also {Contextually Communicating Sequential Processes}.

   ["Communicating Sequential Processes", A.R. Hoare, P-H 1985].

   (1994-11-01)