Bisimulations and Logics for Higher-Dimensional Automata.

Safa Zouari, Krzysztof Ziemianski, Uli Fahrenberg

Browse the full ICTAC paper archive.