Algebraic Characterization of FO-definable Languages of Higher-Dimensional Automata

Enzo Erlich, Jérémy Ledent, Krzysztof Ziemiański

Higher-dimensional automata (HDA) are a model of concurrency that models simultaneous execution of events using higher dimensional cells. HDA recognize languages of pomsets, a gene…