@article{article, title = {{Developments in concurrent Kleene algebra}}, url = {{}}, year = {{2016}}, month = {{6}}, author = {{Hoare T and van Staden S and M枚ller B and Struth G and Zhu H}}, doi = {{10.1016/j.jlamp.2015.09.012}}, volume = {{85}}, journal = {{Journal of Logical and Algebraic Methods in Programming}}, issue = {{4}}, pages = {{617-636}}, note = {{Accessed on 2025/07/04}}}