Document - Back-and-forth in space: on logics and bisimilarity in closure spaces

2022

Contribution to book Open Access

Back-and-forth in space: on logics and bisimilarity in closure spaces

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

Closure spaces Topological spaces Spatial logics Spatial bisimilarities Stuttering equivalence

We adapt the standard notion of bisimilarity for topological models to closure models and refine it for quasi-discrete closure models. We also define an additional, weaker notion of bisimilarity that is based on paths in space and expresses a form of conditional reachability in a way that is reminiscent of Stuttering Equivalence on transition systems. For each bisimilarity we provide a characterisation with respect to a suitable spatial logic.

Source: A Journey from Process Algebra via Timed Automata to Model Learning, edited by Jansen N., Stoelinga M., van den Bos P., pp. 98–115, 2022

Metrics

Back to previous page

Cite as

BibTeX entry

@inbook{oai:it.cnr:prodotti:470783,
	title = {Back-and-forth in space: on logics and bisimilarity in closure spaces},
	author = {Ciancia V. and Latella D. and Massink M. and De Vink E. P.},
	doi = {10.1007/978-3-031-15629-8_6},
	booktitle = {A Journey from Process Algebra via Timed Automata to Model Learning, edited by Jansen N., Stoelinga M., van den Bos P., pp. 98–115, 2022},
	year = {2022}
}