2000 character limit reached
On symmetric higher-dimensional automata and bisimilarity
Published 28 Mar 2021 in cs.FL and cs.LO | (2103.15223v1)
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.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.