Skip to main content

A Model for Communicating Sequential Processes

C. A. R. Hoare

Month
dec
Note
Typed manuscript
Year
1978