Concurrent Kleene Algebra
C. A. R. Hoare‚ Bernhard Möller‚ Georg Struth and Ian Wehrman
Book Title
CONCUR 2009 − Concurrency Theory‚ 20th International Conference‚ CONCUR 2009‚ Bologna‚ Italy‚ September 1−4‚ 2009. Proceedings
Editor
Mario Bravetti and Gianluigi Zavattaro
Pages
399−414
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
5710
Year
2009