@inproceedings{inproceedings, title  = {{On decidability of concurrent Kleene algebra}},

 publisher = {{Schloss Dagstuhl - Leibniz-Zentrum für Informatik}},

 url = {{https://eprints.whiterose.ac.uk/id/eprint/136528 https://doi.org/10.4230/LIPIcs.CONCUR.2017.28 }},

 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 = {{LIPIcs}},

 issue = {{28}},

 note = {{Accessed on 2025/12/03}}}