Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Automated Verification
  4. Internalising Agents in CSP Protocol Models

Internalising Agents in CSP Protocol Models

A. W. Roscoe and P. J. Broadfoot

Book Title
Proceedings of WITS 2002
Note
Extended Abstract
Year
2002

Links

See Also

Back to Top