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
A. W. Roscoe‚ S.D. Brookes and C.A.R. Hoare