An Operational Semantics for CSP (1983)

by G D Plotkin
Venue:Proc. IFIP TC-2 Working Conf. Formal Description of Programming Concepts II, North-Holland