Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. The relationship between CSP‚ FDR and Buchi Automata

The relationship between CSP‚ FDR and Buchi Automata

A.W. Roscoe and Thomas Gibson−Robinson

Year
2016

Links

See Also

Back to Top