Showing 2026 · cs.FLShow all
2 papers · 2 filters
cs.FL2026
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…
cs.FL2026
Variants of Higher-Dimensional Automata
Hugo Bazille, Jérémy Dubut, Uli Fahrenberg +1
The theory of higher-dimensional automata (HDAs) has seen rapid progress in recent years, and first applications, notably to Petri net analysis, are starting to show. It has, howev…