An Operational Semantics for CSP

Bibliographic Details
Main Authors: Roscoe, A, Brookes, S, Walker, D
Format: Report
Published: Oxford University Computing Laboratory 1986