A Theory of Communicating Sequential Processes
C.A.R. Hoare‚ S.D. Brookes and A.W. Roscoe
A mathematical model for communication sequential processes is given and a number of its interesting and useful properties are stated. The possibilities of non-determinism are fully taken into account.