2000 character limit reached
On symmetric higher-dimensional automata and bisimilarity (2103.15223v1)
Published 28 Mar 2021 in cs.FL and cs.LO
Abstract: It is shown that a higher-dimensional automaton is hhp-bisimilar to the free symmetric HDA generated by it. Consequently, up to hereditary history-preserving bisimilarity, ordinary HDAs and symmetric HDAs are models of concurrency with the same expressive power.