On Decidability of Concurrent Kleene Algebra

Brunet, P; Pous, D; Struth, G; (2017) On Decidability of Concurrent Kleene Algebra. In: Meyer, R and Nestmann, U, (eds.) Proceedings of the 28th International Conference on Concurrency Theory (CONCUR 2017). (pp. 28:1-28:15). LIPICS: Dagstuhl, Germany. Green open access

https://ift.tt/2AHg0CJ