An operational semantics for CSP (1983)

by G D Plotkin
Venue:In Proceedings of the Conference on the Formal Description of Programming Concepts