Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Automated Verification
  4. Deadlock analysis in networks of communicating processes

Deadlock analysis in networks of communicating processes

A. W. Roscoe and S.D. Brookes

Journal
Distributed Computing
Number
4
Pages
209–230
Year
1991

Links

See Also

Back to Top