@inproceedings{inproceedings, title = {{On decidability of concurrent kleene algebra}}, url = {{http://eprints.whiterose.ac.uk/136528/ }}, year = {{2017}}, month = {{8}}, author = {{Brunet P and Pous D and Struth G}}, doi = {{10.4230/LIPIcs.CONCUR.2017.28}}, isbn = {{9783959770484}}, volume = {{85}}, journal = {{Leibniz International Proceedings in Informatics, LIPIcs}}, note = {{Accessed on 2025/06/22}}}