Saturated Kripke structures as Vietoris coalgebras

DOI10.1007/978-3-031-10736-8_5OpenAlexW4286600170MaRDI QIDQ2104479

H. Peter Gumm, Mona Taheri

Publication date: 7 December 2022

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

zbMATH Keywords

bisimulationsVietoris functorsaturated Kripke structuresVietoris coalgebrasVietoris convergence

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Related Items

Preservation and reflection of bisimilarity via invertible steps

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Stone coalgebras
• Coalgebraic logic for stochastic right coalgebras
• Additions and corrections to ``Terminal coalgebras in well-founded set theory
• Universal coalgebra: A theory of systems
• Terminal coalgebras in well-founded set theory
• Final coalgebras for functors on measurable spaces
• Final coalgebras and the Hennessy-Milner property
• Vietoris Bisimulations
• Finitary Functors: From Set to Preord and Poset
• Limits in categories of Vietoris coalgebras
• Coalgebras of bounded type