A Theory of Communicating Sequential Processes
C.A.R. Hoare‚ S.D. Brookes and A.W. Roscoe
Abstract
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.
Institution
OUCL
Month
May
Number
PRG16
Pages
48
Year
1981