Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Automated Verification
  4. Compiling Shared Variable Programs into CSP

Compiling Shared Variable Programs into CSP

A. W. Roscoe

Book Title
Proceedings of PROGRESS workshop 2001
Year
2001

Links

See Also

Back to Top