Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Automated Verification
  4. A taxonomy of web services in CSP

A taxonomy of web services in CSP

A. W. Roscoe‚ A. Martin and L. Momtahan

Book Title
Proceedings of Web Languages and Formal Methods 2005
Year
2005

Links

See Also

Back to Top