A relation-algebraic theory of bisimulations

MaRDI QIDQ3507553zbMATH OpenFDO

Authors Michael Winter

Publication date 20 June 2008

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Cylindric and polyadic algebras; relation algebras (03G15)

Recommendations

• Relating coalgebraic notions of bisimulation
• Bisimulation as a logical relation
• scientific article; zbMATH DE number 938519
• scientific article; zbMATH DE number 4104403
• Towards a unified view of bisimulation: A comparative study

Cited in

(20)

• Embedding mappings and splittings with applications
• Bisimulations and bisimulation quotients of generalized Veltman models
• scientific article; zbMATH DE number 2196588 (Why is no real title available?)
• Bisimulation and coverings for graphs and hypergraphs
• scientific article; zbMATH DE number 4104403 (Why is no real title available?)
• Bisimilarity of Diagrams
• Bisimulation of automata
• Bisimulation as a logical relation
• Using relation-algebraic means and tool support for investigating and computing bipartitions
• A semiring approach to equivalences, bisimulations and control
• Compatibility of refining and controlling plant automata with bisimulation quotients
• Origins of bisimulation and coinduction
• Relating coalgebraic notions of bisimulation
• Bisimulations and unfolding in P-accessible categorical models
• An Ordered Category of Processes
• scientific article; zbMATH DE number 5587282 (Why is no real title available?)
• scientific article; zbMATH DE number 6287615 (Why is no real title available?)
• scientific article; zbMATH DE number 7437711 (Why is no real title available?)
• Bisimulation indexes and their applications
• Two observations in dioid based model refinement

This page was built for publication: A relation-algebraic theory of bisimulations

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