2 citations · 2 across the 3 of their papers we have counts for
3 papers
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…
Presenting Interval Pomsets with Interfaces
Amazigh Amrane, Hugo Bazille, Emily Clement +2
Interval-order partially ordered multisets with interfaces (ipomsets) have shown to be a versatile model for executions of concurrent systems in which both precedence and concurren…
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…