TY - CONF T1 - An event structure model for probabilistic concurrent Kleene algebra JO - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) PY - 2013/01/01 AU - McIver A AU - Rabehaja T AU - Struth G ED - DO - DOI: 10.1007/978-3-642-45221-5_43 SN - 9783642452208 VL - 8312 LNCS SP - 653 EP - 667 Y2 - 2025/03/14 ER -