2026-08-24T17:52:28Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:27380 2026-08-24T14:08:32Z ddc:004 open_access

Bisimulations and Modal Logics for Higher Dimensional Automata Zouari, Safa van Glabbeek, Rob Ziemiański, Krzysztof higher-dimensional automata bisimilarity history-preserving bisimulation modal logic concurrency theory Higher-Dimensional Automata (HDAs) provide a geometric model of true concurrency. While hereditary history-preserving (hhp) bisimilarity is the finest behavioural equivalence in van Glabbeek’s spectrum, no modal logic has previously characterised it on HDAs. We introduce several new intermediate equivalences that sit strictly between ST- and hhp-bisimilarity. We show how separating similarity and subsumption of paths leads to a clean formulation of these equivalences, and we present a modal logic that characterises hhp-bisimilarity. Natural fragments characterise ST-bisimilarity and the intermediate notions. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Safa Zouari and Rob van Glabbeek and Krzysztof Ziemiański 2026 Is Part Of LIPIcs, Volume 391, 37th International Conference on Concurrency Theory (CONCUR 2026) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.CONCUR.2026.49 urn:nbn:de:0030-drops-273809 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2026.49 eng https://creativecommons.org/licenses/by/4.0/legalcode