A Kleene Theorem for Higher-Dimensional Automata.

Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski

Browse the full CONCUR paper archive.