On symmetric higher-dimensional automata and bisimilarity

Thomas Kahl

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.

Knowledge Graph



Sign up or login to leave a comment