Coalgebra morphisms subsume open maps

DOI10.1016/S0304-3975(01)00023-8zbMath1014.68106OpenAlexW2049083449MaRDI QIDQ1603818

Sławomir Lasota

Publication date: 15 July 2002

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0304-3975(01)00023-8

zbMATH Keywords

coalgebraic bisimulationopen-map bisimulationpresheaf model

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (4)

Bisimilarity of Diagrams ⋮ Weighted and branching bisimilarities from generalized open maps ⋮ Tree-functors, determinacy and bisimulations ⋮ A coalgebraic view on reachability

Cites Work

• A completeness theorem for open maps
• Universal coalgebra: A theory of systems
• An approach to object semantics based on terminal co-algebras
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Coalgebra morphisms subsume open maps