Tony Hoare, Stephan van Staden, Bernhard Möller, Georg Struth, Jules Villard, Huibiao Zhu, Peter W. O'Hearn. Developments in Concurrent Kleene Algebra. In Peter Höfner, Peter Jipsen, Wolfram Kahl, Martin Eric Müller, editors, Relational and Algebraic Methods in Computer Science - 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28-May 1, 2014. Proceedings. Volume 8428 of Lecture Notes in Computer Science, pages 1-18, Springer, 2014. [doi]
Abstract is missing.