Back-and-Forth in Space: On Logics and Bisimilarity in Closure Spaces

Vincenzo Ciancia; Diego Latella; Mieke Massink; Erik P. de Vink

doi:10.1007/978-3-031-15629-8_6

Back-and-Forth in Space: On Logics and Bisimilarity in Closure Spaces

Vincenzo Ciancia
, Diego Latella (Corresponding author)
, Mieke Massink
, Erik P. de Vink

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

5 Citations (Scopus)

Abstract

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.

Original language	English
Title of host publication	A Journey from Process Algebra via Timed Automata to Model Learning
Subtitle of host publication	Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday
Editors	Nils Jansen, Mariëlle Stoelinga, Petra van den Bos
Place of Publication	Cham
Publisher	Springer
Pages	98-115
Number of pages	18
ISBN (Electronic)	978-3-031-15629-8
ISBN (Print)	978-3-031-15628-1
DOIs	https://doi.org/10.1007/978-3-031-15629-8_6
Publication status	Published - 7 Sept 2022

Publication series

Name	Lecture Notes in Computer Science (LNCS)
Volume	13560
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Keywords

Closure Spaces
Spatial Bisimilarities
Spatial Logics
Stuttering Equivalence
Topological Spaces

Access to Document

10.1007/978-3-031-15629-8_6

Cite this

Ciancia, V., Latella, D., Massink, M., & de Vink, E. P. (2022). Back-and-Forth in Space: On Logics and Bisimilarity in Closure Spaces. In N. Jansen, M. Stoelinga, & P. van den Bos (Eds.), A Journey from Process Algebra via Timed Automata to Model Learning: Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday (pp. 98-115). (Lecture Notes in Computer Science (LNCS); Vol. 13560). Springer. https://doi.org/10.1007/978-3-031-15629-8_6

Ciancia, Vincenzo ; Latella, Diego ; Massink, Mieke et al. / Back-and-Forth in Space : On Logics and Bisimilarity in Closure Spaces. A Journey from Process Algebra via Timed Automata to Model Learning: Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday. editor / Nils Jansen ; Mariëlle Stoelinga ; Petra van den Bos. Cham : Springer, 2022. pp. 98-115 (Lecture Notes in Computer Science (LNCS)).

@inproceedings{721c0b648ece4d7db28d7977ed4ec0f1,

title = "Back-and-Forth in Space: On Logics and Bisimilarity in Closure Spaces",

abstract = "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.",

keywords = "Closure Spaces, Spatial Bisimilarities, Spatial Logics, Stuttering Equivalence, Topological Spaces",

author = "Vincenzo Ciancia and Diego Latella and Mieke Massink and \{de Vink\}, \{Erik P.\}",

year = "2022",

month = sep,

day = "7",

doi = "10.1007/978-3-031-15629-8\_6",

language = "English",

isbn = "978-3-031-15628-1",

series = "Lecture Notes in Computer Science (LNCS)",

publisher = "Springer",

pages = "98--115",

editor = "Nils Jansen and Mari{\"e}lle Stoelinga and \{van den Bos\}, Petra",

booktitle = "A Journey from Process Algebra via Timed Automata to Model Learning",

address = "Germany",

}

Ciancia, V, Latella, D, Massink, M & de Vink, EP 2022, Back-and-Forth in Space: On Logics and Bisimilarity in Closure Spaces. in N Jansen, M Stoelinga & P van den Bos (eds), A Journey from Process Algebra via Timed Automata to Model Learning: Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday. Lecture Notes in Computer Science (LNCS), vol. 13560, Springer, Cham, pp. 98-115. https://doi.org/10.1007/978-3-031-15629-8_6

Back-and-Forth in Space: On Logics and Bisimilarity in Closure Spaces. / Ciancia, Vincenzo; Latella, Diego (Corresponding author); Massink, Mieke et al.
A Journey from Process Algebra via Timed Automata to Model Learning: Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday. ed. / Nils Jansen; Mariëlle Stoelinga; Petra van den Bos. Cham: Springer, 2022. p. 98-115 (Lecture Notes in Computer Science (LNCS); Vol. 13560).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Back-and-Forth in Space

T2 - On Logics and Bisimilarity in Closure Spaces

AU - Ciancia, Vincenzo

AU - Latella, Diego

AU - Massink, Mieke

AU - de Vink, Erik P.

PY - 2022/9/7

Y1 - 2022/9/7

N2 - 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.

AB - 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.

KW - Closure Spaces

KW - Spatial Bisimilarities

KW - Spatial Logics

KW - Stuttering Equivalence

KW - Topological Spaces

UR - https://www.scopus.com/pages/publications/85138164435

U2 - 10.1007/978-3-031-15629-8_6

DO - 10.1007/978-3-031-15629-8_6

M3 - Conference contribution

SN - 978-3-031-15628-1

T3 - Lecture Notes in Computer Science (LNCS)

SP - 98

EP - 115

BT - A Journey from Process Algebra via Timed Automata to Model Learning

A2 - Jansen, Nils

A2 - Stoelinga, Mariëlle

A2 - van den Bos, Petra

PB - Springer

CY - Cham

ER -

Ciancia V, Latella D, Massink M, de Vink EP. Back-and-Forth in Space: On Logics and Bisimilarity in Closure Spaces. In Jansen N, Stoelinga M, van den Bos P, editors, A Journey from Process Algebra via Timed Automata to Model Learning: Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday. Cham: Springer. 2022. p. 98-115. (Lecture Notes in Computer Science (LNCS)). doi: 10.1007/978-3-031-15629-8_6

Back-and-Forth in Space: On Logics and Bisimilarity in Closure Spaces

Abstract

Publication series

Keywords

Access to Document

Other files and links

Fingerprint

Cite this