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