Communicating Sequential Processes
C.A.R. Hoare
Journal
Communications of the ACM
Month
August
Number
8
Pages
666–677
Volume
21
Year
1978
C.A.R. Hoare