Communicating Sequential Processes
C.A.R. Hoare
Book Title
Digital Systems Design. Proceedings of the Joint IBM University of Newcastle upon Tyne Seminar‚ 6–9 September 1977
Editor
B. Shaw
Pages
145–56
Publisher
Newcastle University
Year
1978
C.A.R. Hoare