An Operational Semantics for CSP

A. W. Roscoe, S. D. Brookes and D. J. Walker

institution	Oxford University Computing Laboratory
year	1986

people	Bill Roscoe
activities	Concurrency