Bisimulations and Modal Logics for Higher Dimensional Automata.

Safa Zouari, Rob van Glabbeek, Krzysztof Ziemianski

Browse the full CONCUR paper archive.