Standard
Analysing spatial properties on neighbourhood spaces. /
Linker, Sven; Papacchini, Fabio; Sevegnani, Michele.
45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020. ed. / Javier Esparza; Daniel Kral�; Daniel Kral�. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2020. p. 66:1-66:14 MFCS-2020-66 (Leibniz International Proceedings in Informatics, LIPIcs; Vol. 170).
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Harvard
Linker, S, Papacchini, F & Sevegnani, M 2020,
Analysing spatial properties on neighbourhood spaces. in J Esparza, D Kral� & D Kral� (eds),
45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020., MFCS-2020-66, Leibniz International Proceedings in Informatics, LIPIcs, vol. 170, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, pp. 66:1-66:14, 45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020, Prague, Czech Republic,
25/08/20.
https://doi.org/10.4230/LIPIcs.MFCS.2020.66
APA
Linker, S., Papacchini, F., & Sevegnani, M. (2020).
Analysing spatial properties on neighbourhood spaces. In J. Esparza, D. Kral�, & D. Kral� (Eds.),
45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020 (pp. 66:1-66:14). Article MFCS-2020-66 (Leibniz International Proceedings in Informatics, LIPIcs; Vol. 170). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing.
https://doi.org/10.4230/LIPIcs.MFCS.2020.66
Vancouver
Linker S, Papacchini F, Sevegnani M.
Analysing spatial properties on neighbourhood spaces. In Esparza J, Kral� D, Kral� D, editors, 45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. 2020. p. 66:1-66:14. MFCS-2020-66. (Leibniz International Proceedings in Informatics, LIPIcs). doi: 10.4230/LIPIcs.MFCS.2020.66
Author
Bibtex
@inproceedings{5fd66b7621be4867abb6b9ed50fb093f,
title = "Analysing spatial properties on neighbourhood spaces",
abstract = "We present a bisimulation relation for neighbourhood spaces, a generalisation of topological spaces. We show that this notion, path preserving bisimulation, preserves formulas of the spatial logic SLCS. We then use this preservation result to show that SLCS cannot express standard topological properties such as separation and connectedness. Furthermore, we compare the bisimulation relation with standard modal bisimulation and modal bisimulation with converse on graphs and prove it coincides with the latter.",
keywords = "Bisimulation, Spatial logic, Topology",
author = "Sven Linker and Fabio Papacchini and Michele Sevegnani",
year = "2020",
month = aug,
day = "1",
doi = "10.4230/LIPIcs.MFCS.2020.66",
language = "English",
series = "Leibniz International Proceedings in Informatics, LIPIcs",
publisher = "Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing",
pages = "66:1--66:14",
editor = "Javier Esparza and Daniel Kral� and Daniel Kral�",
booktitle = "45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020",
note = "45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020 ; Conference date: 25-08-2020 Through 26-08-2020",
}
RIS
TY - GEN
T1 - Analysing spatial properties on neighbourhood spaces
AU - Linker, Sven
AU - Papacchini, Fabio
AU - Sevegnani, Michele
PY - 2020/8/1
Y1 - 2020/8/1
N2 - We present a bisimulation relation for neighbourhood spaces, a generalisation of topological spaces. We show that this notion, path preserving bisimulation, preserves formulas of the spatial logic SLCS. We then use this preservation result to show that SLCS cannot express standard topological properties such as separation and connectedness. Furthermore, we compare the bisimulation relation with standard modal bisimulation and modal bisimulation with converse on graphs and prove it coincides with the latter.
AB - We present a bisimulation relation for neighbourhood spaces, a generalisation of topological spaces. We show that this notion, path preserving bisimulation, preserves formulas of the spatial logic SLCS. We then use this preservation result to show that SLCS cannot express standard topological properties such as separation and connectedness. Furthermore, we compare the bisimulation relation with standard modal bisimulation and modal bisimulation with converse on graphs and prove it coincides with the latter.
KW - Bisimulation
KW - Spatial logic
KW - Topology
U2 - 10.4230/LIPIcs.MFCS.2020.66
DO - 10.4230/LIPIcs.MFCS.2020.66
M3 - Conference contribution/Paper
AN - SCOPUS:85090508864
T3 - Leibniz International Proceedings in Informatics, LIPIcs
SP - 66:1-66:14
BT - 45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020
A2 - Esparza, Javier
A2 - Kral�, Daniel
A2 - Kral�, Daniel
PB - Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
T2 - 45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020
Y2 - 25 August 2020 through 26 August 2020
ER -
