Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. Tighter reachability criteria for deadlock freedom analysis

Tighter reachability criteria for deadlock freedom analysis

Pedro Antonino‚ Thomas Gibson−Robinson and A.W. Roscoe

Book Title
Proceedings of FM 2016
Year
2016

Links

See Also

Back to Top