On symmetric higher-dimensional automata and bisimilarity (Q2084943)

A higher-dimensional automaton (HDA) is a precubical set with an initial state, a set of final states, and a labeling on \(1\)-cubes such that opposite edges of \(2\)-cubes have the same label. Symmetric HDAs are HDA with a symmetric underlying precubical set. Every symmetric HDA is a HDA and the left adjoint defines the symmetric HDA freely generated by a HDA. It is shown that there exists a hereditary history-preserving bisimulation between a HDA and the symmetric HDA freely generated by it. Consequently, up to hereditary history-preserving bisimilarity, ordinary HDAs and symmetric HDAs are models of concurrency with the same expressive power.