Notes on Communicating Sequential Processes
C.A.R. Hoare
Institution
Oxford University Computing Laboratory‚ Programming Research Group
Month
August
Number
33
Year
1983
C.A.R. Hoare