Skip to main content

A Theory of Communicating Sequential Processes

S.D. Brookes‚ C.A.R. Hoare and A.W. Roscoe

Journal
Journal of the ACM
Month
July
Number
3
Pages
560–599
Volume
31
Year
1984