(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].