@article{article, title  = {{Probabilistic Concurrent Kleene Algebra}},

 publisher = {{Open Publishing Association}},

 url = {{https://doi.org/10.4204/eptcs.117.7 }},

 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/12/03}}}