1 paper · 1 filter
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…