TITLE : Towards spatial bisimilarity for closure models: logical and coalgebraic characterisations AUTHOR(S) : Ciancia V, Latella D, Massink M, De Vink E TYPE : Other YEAR : 2020 CODE : 436170 *** DO NOT EDIT THIS FILE ***