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]
@inproceedings{HoareSMSVZO14,
title = {Developments in Concurrent Kleene Algebra},
author = {Tony Hoare and Stephan van Staden and Bernhard Möller and Georg Struth and Jules Villard and Huibiao Zhu and Peter W. O'Hearn},
year = {2014},
doi = {10.1007/978-3-319-06251-8_1},
url = {http://dx.doi.org/10.1007/978-3-319-06251-8_1},
researchr = {https://researchr.org/publication/HoareSMSVZO14},
cites = {0},
citedby = {0},
pages = {1-18},
booktitle = {Relational and Algebraic Methods in Computer Science - 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28-May 1, 2014. Proceedings},
editor = {Peter Höfner and Peter Jipsen and Wolfram Kahl and Martin Eric Müller},
volume = {8428},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-319-06250-1},
}