Closure and Decision Properties for Higher-Dimensional Automata

Amazigh Amrane, Hugo Bazille, Uli Fahrenberg +1

We report some further developments regarding the language theory of higher-dimensional automata (HDAs). Regular languages of HDAs are sets of finite interval partially ordered mul…