Communicating Sequential Processes


Communicating Sequential Processes

(language, parallel)(CSP) A notation for concurrency basedon synchronous message passing and selective communicationsdesigned by Anthony Hoare in 1978. It features cobeginand coend and was a precursor to occam.

See also Contextually Communicating Sequential Processes.

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