Conference
Developments in Concurrent Kleene Algebra.
Authors
Hoare T; Staden SV; Möller B; Struth G; Villard J; Zhu H; O'Hearn PW
Editors
Höfner P; Jipsen P; Kahl W; Müller ME
Series
Lecture Notes in Computer Science
Volume
8428
Pagination
pp. 1-18
Publisher
Springer
Publication Date
January 1, 2014
ISBN-13
978-3-319-06250-1
Conference proceedings
RAMiCS