3 papers
cs.LO2026
Bisimulations and Modal Logics for Higher Dimensional Automata
Safa Zouari, Rob van Glabbeek, Krzysztof Ziemiański
Higher-Dimensional Automata (HDAs) provide a geometric model of true concurrency. While hereditary history-preserving (hhp) bisimilarity is the finest behavioural equivalence in va…
cs.FL2026
Forgetting Event Order in Higher-Dimensional Automata
Safa Zouari
Higher dimensional automata (HDAs) provide a geometric model of true concurrency, yet their standard formulation encodes an artificial total order on events. This representational…
cs.LO2024
Bisimulations and Logics for Higher-Dimensional Automata
Safa Zouari, Krzysztof ZiemiaÅski, Uli Fahrenberg
Higher-dimensional automata (HDAs) are models of non-interleaving concurrency for analyzing concurrent systems. There is a rich literature that deals with bisimulations for concurr…