TY - RPRT TI - Towards Spatial Bisimilarity for Closure Models: Logical and Coalgebraic Characterisations AU - Vincenzo Ciancia AU - Diego Latella AU - Mieke Massink AU - Erik de Vink PY - 2020 UR - https://arxiv.org/abs/2005.05578 ID - 2005.05578 ER -