TY - JOUR T1 - Concurrent Kleene Algebra and its Foundations JO - Journal of Logic and Algebraic Programming PY - 2011/01/01 AU - Hoare T AU - M枚ller B AU - Struth G AU - Wehrman I ED - DO - DOI: 10.1016/j.jlap.2011.04.005 VL - 80 IS - 6 SP - 266 EP - 296 Y2 - 2025/04/07 ER -