A theory of communicating sequential processes
A. W. Roscoe‚ S.D. Brookes and C. A. R. Hoare
Institution
Oxford University Computing Laboratory
Month
May
Number
PRG−16
Year
1981
A. W. Roscoe‚ S.D. Brookes and C. A. R. Hoare