TY - CONF T1 - Foundations of Concurrent Kleene Algebra JO - RELATIONS AND KLEENE ALGEBRA IN COMPUTER SCIENCE, PROCEEDINGS PY - 2009/01/01 AU - Hoare CAR AU - Moller B AU - Struth G AU - Wehrman I ED - Berghammer R ED - Jaoua AM ED - Moller B VL - 5827 SP - 166 EP - 186 Y2 - 2025/03/14 ER -