2021
Report  Open Access

On Bisimilarities for Closure Spaces - Preliminary Version

Ciancia V., Latella D., Massink M., De Vink E.

Closure Spaces  Topological Spaces  Spatial Logics  Spatial Bisimilarities 

Closure spaces are a generalisation of topological spaces obtained by removing the idempotence requirement on the closure operator. We adapt the standard notion of bisimilarity for topological models, namely Topo-bisimilarity, to closure models|we call the resulting equivalence CM-bisimilarity|and rene it for quasi-discrete closure models. We also dene two additional notions of bisimilarity that are based on paths on space, namely Path-bisimilarity and Compatible Path-bisimilarity, CoPa-bisimilarity for short. The former expresses (unconditional) reachability, the latter renes it in a way that is reminishent of Stuttering Equivalence on transition systems. For each bisimilarity we provide a logical characterisation, using variants of SLCS.We also address the issue of (space) minimisation via the three equivalences.

Source: Research report, ITMaTTerS, PRIN 2017FTXR7S, 2021



Back to previous page
BibTeX entry
@techreport{oai:it.cnr:prodotti:454056,
	title = {On Bisimilarities for Closure Spaces - Preliminary Version},
	author = {Ciancia V. and Latella D. and Massink M. and De Vink E.},
	institution = {Research report, ITMaTTerS, PRIN 2017FTXR7S, 2021},
	year = {2021}
}
CNR ExploRA

Bibliographic record

ISTI Repository

Deposited version Open Access

Also available from

arxiv.orgOpen Access