Skip to main content

Foundations of Concurrent Kleene Algebra

C. A. R. Hoare‚ Bernhard Möller‚ Georg Struth and Ian Wehrman

Book Title
Relations and Kleene Algebra in Computer Science‚ 11th International Conference on Relational Methods in Computer Science‚ RelMiCS 2009‚ and 6th International Conference on Applications of Kleene Algebra‚ AKA 2009‚ Doha‚ Qatar‚ November 1−5‚ 2009. Proceedings
Editor
Rudolf Berghammer and Ali Jaoua and Bernhard Möller
Pages
166−186
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
5827
Year
2009