A Kleene Theorem for Higher-Dimensional Automata ACM Classification Theory of computation → Automata extensions