Autor: |
Enqvist, Sebastian, Sourabh, Sumit |
Rok vydání: |
2014 |
Předmět: |
|
Druh dokumentu: |
Working Paper |
DOI: |
10.1093/logcom/exy001 |
Popis: |
We introduce and study bisimulations for coalgebras on Stone spaces [14]. Our notion of bisimulation is sound and complete for behavioural equivalence, and generalizes Vietoris bisimulations [4]. The main result of our paper is that bisimulation for a $\mathbf{Stone}$ coalgebra is the topological closure of bisimulation for the underlying $\mathbf{Set}$ coalgebra. |
Databáze: |
arXiv |
Externí odkaz: |
|