On Bisimilarity for Quasi-discrete Closure Spaces

Vincenzo Ciancia, Diego Latella, Mieke Massink +1

Closure spaces, a generalisation of topological spaces, have shown to be a convenient theoretical framework for spatial model checking. The closure operator of closure spaces and q…