Bisimulations for coalgebras on Stone spaces

DOI10.1093/LOGCOM/EXY001zbMATH Open1444.03186arXiv1412.4586OpenAlexW1810923604MaRDI QIDQ4612432FDOQ4612432

Authors: Sebastian Enqvist, Sumit Sourabh 

Publication date: 31 January 2019

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

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.

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

Recommendations

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

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)

Cited In (12)

• Stone coalgebras
• Back-and-forth in space: on logics and bisimilarity in closure spaces
• Stone coalgebras
• Topo-bisimulations are coalgebraic
• Bisimulation for Neighbourhood Structures
• Vietoris bisimulations
• A coalgebraic structure on bisexual populations
• Preservation and reflection of bisimilarity via invertible steps
• Neighbourhood Structures: Bisimilarity and Basic Model Theory
• Coalgebraic Geometric Logic: Basic Theory
• Algebra and Coalgebra in Computer Science
• Title not available (Why is that?)

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)