Coalgebra morphisms subsume open maps

DOI10.1016/S0304-3975(01)00023-8MaRDI QIDQ1603818zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• scientific article; zbMATH DE number 1314222
• Bisimulation from open maps
• Open maps, behavioural equivalences, and congruences
• scientific article; zbMATH DE number 1189284
• scientific article; zbMATH DE number 1223709

Cites work

• A completeness theorem for open maps
• An approach to object semantics based on terminal co-algebras
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• scientific article; zbMATH DE number 1189284 (Why is no real title available?)
• scientific article; zbMATH DE number 3716792 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 1231625 (Why is no real title available?)
• scientific article; zbMATH DE number 1314222 (Why is no real title available?)
• scientific article; zbMATH DE number 1361142 (Why is no real title available?)
• scientific article; zbMATH DE number 575948 (Why is no real title available?)
• scientific article; zbMATH DE number 1086660 (Why is no real title available?)
• Universal coalgebra: A theory of systems

Cited in

(9)

• Path category for free. Open morphisms from coalgebras with non-deterministic branching
• Tree-functors, determinacy and bisimulations
• scientific article; zbMATH DE number 1314222 (Why is no real title available?)
• Bisimilarity of Diagrams
• A coalgebraic view on reachability
• Profunctors, open maps and bisimulation
• Open maps, behavioural equivalences, and congruences
• Weighted and branching bisimilarities from generalized open maps
• Unifying equivalences for timed transition systems

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

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