Skip to main content

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