Finitely Presentable Higher-Dimensional Automata and the Irrationality of Process Replication

Henning Basold, Thomas Baronner, Márton Hablicsek

Higher-dimensional automata (HDA) are a formalism to faithfully model the behaviour of concurrent systems. For ordinary automata, there is a correspondence between regular expressi…