An effective coalgebraic bisimulation proof method

MaRDI QIDQ2863897zbMATH OpenFDO

Authors Lingyun Luo

Publication date 4 December 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066106004725?np=y

zbMATH Keywords

bisimulationcoalgebraconsistency

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)

Recommendations

• Coalgebraic bisimulation-up-to
• Enhanced coalgebraic bisimulation
• Beyond Bisimulation: The “up-to” Techniques
• Bisimulations up-to: beyond first-order transition systems
• On the bisimulation proof method

Cited in

(8)

• Coalgebraic bisimulation-up-to
• A Characterisation of Expressivity for Coalgebraic Bisimulation and Simulation
• Coalgebraic Reasoning in Coq: Bisimulation and the λ-Coiteration Scheme
• On the bisimulation proof method
• Coinduction up-to in a fibrational setting
• A general account of coinduction up-to
• Enhanced coalgebraic bisimulation
• Bisimulation proof methods in a path-based specification language for polynomial coalgebras

This page was built for publication: An effective coalgebraic bisimulation proof method

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