Generalized Vietoris Bisimulations
Abstract
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.
- Publication:
-
arXiv e-prints
- Pub Date:
- December 2014
- DOI:
- 10.48550/arXiv.1412.4586
- arXiv:
- arXiv:1412.4586
- Bibcode:
- 2014arXiv1412.4586E
- Keywords:
-
- Computer Science - Logic in Computer Science;
- Mathematics - Logic
- E-Print:
- doi:10.1093/logcom/exy001