A Theory of Communicating Sequential Processes
Stephen Brookes, C. A. R. Hoare, Andrew William Roscoe · Journal of the ACM · 1984
A mathematical model for communicating sequential processes is given, and a number of its interesting and useful properties are stated and proved. The possibilities of nondetermimsm are fully taken into account.