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

people	Bill Roscoe
activities	Concurrency