Jason Jaskolka, Ridha Khédri, Qinglei Zhang. Endowing Concurrent Kleene Algebra with Communication Actions. 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 19-36, Springer, 2014. [doi]
Abstract is missing.