Safa Zouari

dblp:367/7152 · DBLP profile ↗
← Back
3ranked-venue papers
3as first author
3since 2021 · last 2026
0009-0005-4882-5524ORCID · corroborated

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 3 · 3 first-author · 3 since 2021
YearPublicationVenuePosition
2026 Bisimulations and Modal Logics for Higher Dimensional Automata
abstract
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.
Safa Zouari, Rob J. van Glabbeek, Krzysztof Ziemianski
CONCUR1
2026 Forgetting Event Order in Higher-Dimensional Automata
Safa Zouari
LICS1
2024 Bisimulations and Logics for Higher-Dimensional Automata
Safa Zouari, Krzysztof Ziemianski, Uli Fahrenberg
ICTAC1