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