Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. Concurrent Kleene Algebra and its Foundations

Concurrent Kleene Algebra and its Foundations

Tony Hoare‚ Bernhard Möller‚ Georg Struth and Ian Wehrman

Journal
J. Log. Algebr. Program.
Number
6
Pages
266−296
Volume
80
Year
2011

Links

See Also

Back to Top