@inproceedings{inproceedings, title = {{An event structure model for probabilistic concurrent Kleene algebra}}, url = {{}}, year = {{2013}}, month = {{1}}, author = {{McIver A and Rabehaja T and Struth G}}, doi = {{10.1007/978-3-642-45221-5_43}}, isbn = {{9783642452208}}, volume = {{8312 LNCS}}, journal = {{Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)}}, pages = {{653-667}}, note = {{Accessed on 2025/04/16}}}