TY  - RPRT
TI  - Bisimulations and Logics for Higher-Dimensional Automata
AU  - Safa Zouari
AU  - Krzysztof Ziemiański
AU  - Uli Fahrenberg
PY  - 2024
DO  - 10.1007/978-3-031-77019-7_8
UR  - https://arxiv.org/abs/2402.01589
ID  - 2402.01589
ER  -