Generalized Vietoris Bisimulations
Logic in Computer Science
2018-04-10 v1 Logic
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 coalgebra is the topological closure of bisimulation for the underlying coalgebra.
Keywords
Cite
@article{arxiv.1412.4586,
title = {Generalized Vietoris Bisimulations},
author = {Sebastian Enqvist and Sumit Sourabh},
journal= {arXiv preprint arXiv:1412.4586},
year = {2018}
}