Final published version
Licence: CC BY
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Publication date | 1/08/2020 |
---|---|
Host publication | 45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020 |
Editors | Javier Esparza, Daniel Kral�, Daniel Kral� |
Publisher | Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing |
Pages | 66:1-66:14 |
Number of pages | 14 |
ISBN (electronic) | 9783959771597 |
<mark>Original language</mark> | English |
Event | 45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020 - Prague, Czech Republic Duration: 25/08/2020 → 26/08/2020 |
Conference | 45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020 |
---|---|
Country/Territory | Czech Republic |
City | Prague |
Period | 25/08/20 → 26/08/20 |
Name | Leibniz International Proceedings in Informatics, LIPIcs |
---|---|
Volume | 170 |
ISSN (Print) | 1868-8969 |
Conference | 45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020 |
---|---|
Country/Territory | Czech Republic |
City | Prague |
Period | 25/08/20 → 26/08/20 |
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.