A Myhill-Nerode theorem for higher-dimensional automata

DOI10.1007/978-3-031-33620-1_9zbMath1541.68193MaRDI QIDQ6535191

Uli Fahrenberg, Krzysztof Ziemiański

Publication date: 16 November 2023

zbMATH Keywords

determinismhigher-dimensional automataconcurrency theoryMyhill-Nerode theorem

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

This page was built for publication: A Myhill-Nerode theorem for higher-dimensional automata