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

On the expressive power of CSP refinement

A. W. Roscoe

Journal
Formal Aspects of Computing
Note
Preliminary version in Proceedings of AVoCS03‚ Southampton University Technical Report‚ April 2003
Pages
93–112
Series
2
Volume
17
Year
2003

Links

See Also

Back to Top