Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Automated Verification
  4. On the expressiveness of CSP

On the expressiveness of CSP

A.W. Roscoe

Note
Draft of February 2011‚ which is very different from previous draft (2008).
Year
2011

Links

See Also

Back to Top