An Operational Semantics for CSP (0)

by G Plotkin
Venue:Proc. IFIP TC 2-Working conference: Formal description of programming concepts