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.
In Modélisation des Systèmes Réactifs (MSR’25).https://hal.science/hal-05281114
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.