Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Automated Verification
  4. An Operational Semantics for CSP

An Operational Semantics for CSP

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

Institution
Oxford University Computing Laboratory
Year
1986

Links

See Also

Back to Top