@article{article, title = {{Probabilistic Concurrent Kleene Algebra}}, publisher = {{Open Publishing Association}}, url = {{}}, year = {{2013}}, month = {{6}}, author = {{McIver A and Rabehaja T and Struth G}}, doi = {{10.4204/eptcs.117.7}}, volume = {{117}}, journal = {{Electronic Proceedings in Theoretical Computer Science}}, pages = {{97-115}}, note = {{Accessed on 2025/04/08}}}