@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 2024/12/22}}}