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