TY - CONF T1 - Developments in Concurrent Kleene Algebra JO - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) PY - 2014/01/01 AU - Hoare T AU - Van Staden S AU - M枚ller B AU - Struth G AU - Villard J AU - Zhu H AU - O'Hearn P ED - DO - DOI: 10.1007/978-3-319-06251-8_1 SN - 9783319062501 VL - 8428 LNCS SP - 1 EP - 18 Y2 - 2025/05/25 ER -