4 citations · 4 across the 5 of their papers we have counts for
4 papers · 1 filter
Track objects in cubical presheaf automata
Georg Struth, Krzysztof Ziemiański
Using the formalism of presheaf automata, we introduce new classes of automata for modelling concurrency that extend higher-dimensional automata and symmetric higher-dimensional au…
Myhill-Nerode Theorem for Higher-Dimensional Automata
Uli Fahrenberg, Krzysztof Ziemiański
We establish a Myhill-Nerode type theorem for higher-dimensional automata (HDAs), stating that a language is regular if and only if it has finite prefix quotient. HDAs extend stand…
Kleene Theorem for Higher-Dimensional Automata
Uli Fahrenberg, Christian Johansen, Georg Struth +1
We prove a Kleene theorem for higher-dimensional automata. It states that the languages they recognise are precisely the rational subsumption-closed sets of finite interval pomsets…
Languages of Higher-Dimensional Automata
Uli Fahrenberg, Christian Johansen, Georg Struth +1
We introduce languages of higher-dimensional automata (HDAs) and develop some of their properties. To this end, we define a new category of precubical sets, uniquely naturally isom…