Skip to main content

A theory of communicating sequential processes

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

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