CSP

Communicating Sequential Processes

1978

A notation for concurrency based on synchronous message passing and selective communications. cobegin/coend.

Communicating Sequential Processes, C. A. R. Hoare, Prentice-Hall, 1985.

CSP[2]

IBM

?