TY - JOUR T1 - Developments in concurrent Kleene algebra JO - Journal of Logical and Algebraic Methods in Programming PY - 2016/06/01 AU - Hoare T AU - van Staden S AU - M枚ller B AU - Struth G AU - Zhu H ED - DO - DOI: 10.1016/j.jlamp.2015.09.012 VL - 85 IS - 4 SP - 617 EP - 636 Y2 - 2025/09/06 ER -