Algebraic Characterization of FO-Definable Languages of Higher-Dimensional Automata.

Enzo Erlich, Jrmy Ledent, Krzysztof Ziemianski

Browse the full CONCUR paper archive.