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.
Back-and-forth in space: on logics and bisimilarity in closure spaces
Ciancia V;Latella D;Massink M;
2022
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.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_470783-doc_191044.pdf
non disponibili
Descrizione: Back-and-forth in space: on logics and bisimilarity in closure spaces
Tipologia:
Versione Editoriale (PDF)
Dimensione
981.69 kB
Formato
Adobe PDF
|
981.69 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
|
prod_470783-doc_191090.pdf
accesso aperto
Descrizione: Postprint - Back-and-forth in space: on logics and bisimilarity in closure spaces
Tipologia:
Versione Editoriale (PDF)
Dimensione
2.12 MB
Formato
Adobe PDF
|
2.12 MB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
