Year: 2026
Type: preprint
Abstract: Using the formalism of presheaf automata, we introduce new classes of automata for modelling concurrency that extend higher-dimensional automata and symmetric higher-dimensional automata. We study their languages and characterise these languages in terms of posetal cospans.
Source: arXiv (Cornell University)
Authors: Struth, Georg, Ziemiański, Krzysztof
Institution: University of Sheffield
Language: English
Subfield: Software
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W7221762975