TY - CONF T1 - On decidability of concurrent kleene algebra JO - Leibniz International Proceedings in Informatics, LIPIcs UR - http://eprints.whiterose.ac.uk/136528/ PY - 2017/08/01 AU - Brunet P AU - Pous D AU - Struth G ED - DO - DOI: 10.4230/LIPIcs.CONCUR.2017.28 SN - 9783959770484 VL - 85 Y2 - 2024/12/25 ER -