1 paper
Amazigh Amrane, Hugo Bazille, Uli Fahrenberg +1
In this paper we study finite higher-dimensional automata (HDAs) from the logical point of view. Languages of HDAs are sets of finite bounded-width interval pomsets with interfaces…