Higher-dimensional automata receive order-free semantics via interval ipomsets, with proofs that ST traces match these structures, presentations are isomorphic, and bisimulations are characterized by ipomset isomorphism.
Title resolution pending
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.FL 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Forgetting Event Order in Higher-Dimensional Automata
Higher-dimensional automata receive order-free semantics via interval ipomsets, with proofs that ST traces match these structures, presentations are isomorphic, and bisimulations are characterized by ipomset isomorphism.