Bisimulations and Logics for Higher-Dimensional Automata. - Safa Zouari; Krzysztof Ziemianski; Uli Fahrenberg (ICTAC, 2024)