Bisimulation for Impure Simplicial Complexes.

Marta Blkov, Hans van Ditmarsch, Roman Kuznets, Rojo Randrianomentsoa

Browse the full AiML paper archive.