29 citations · 55 across the 18 of their papers we have counts for
1 paper · 2 filters
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…