Bisimulations for coalgebras on Stone spaces

DOI10.1093/LOGCOM/EXY001MaRDI QIDQ4612432zbMATH OpenOpenAlexFDO

Authors Sebastian Enqvist, Sumit Sourabh

Publication date 31 January 2019

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1412.4586

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Categorical logic, topoi (03G30) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Stone spaces (Boolean spaces) and related structures (06E15)

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 $mathbfStone$ coalgebra is the topological closure of bisimulation for the underlying $mathbfSet$ coalgebra.

Recommendations

• Vietoris bisimulations
• Stone coalgebras
• Stone coalgebras
• Neighbourhood Structures: Bisimilarity and Basic Model Theory
• Topo-bisimulations are coalgebraic

Cited in

(12)

• Bisimulation for Neighbourhood Structures
• Back-and-forth in space: on logics and bisimilarity in closure spaces
• A coalgebraic structure on bisexual populations
• Vietoris bisimulations
• Preservation and reflection of bisimilarity via invertible steps
• Stone coalgebras
• Coalgebraic Geometric Logic: Basic Theory
• scientific article; zbMATH DE number 7649890 (Why is no real title available?)
• Stone coalgebras
• Neighbourhood Structures: Bisimilarity and Basic Model Theory
• Topo-bisimulations are coalgebraic
• Algebra and Coalgebra in Computer Science

This page was built for publication: Bisimulations for coalgebras on Stone spaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4612432)