1 paper · 2 filters
Georg Struth, Krzysztof Ziemiański
We introduce presheaf automata as a generalisation of different variants of higher-dimensional automata and other automata-like formalisms, including Petri nets and vector addition…