A Kleene Theorem for Higher-Dimensional Automata

Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski. A Kleene Theorem for Higher-Dimensional Automata. In Bartek Klin, Slawomir Lasota 0001, Anca Muscholl, editors, 33rd International Conference on Concurrency Theory, CONCUR 2022, September 12-16, 2022, Warsaw, Poland. Volume 243 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022. [doi]

Authors

Uli Fahrenberg

This author has not been identified. Look up 'Uli Fahrenberg' in Google

Christian Johansen

This author has not been identified. Look up 'Christian Johansen' in Google

Georg Struth

This author has not been identified. Look up 'Georg Struth' in Google

Krzysztof Ziemianski

This author has not been identified. Look up 'Krzysztof Ziemianski' in Google