An effective coalgebraic bisimulation proof method

zbMATH Open1276.68123MaRDI QIDQ2863897FDOQ2863897

Authors: Lingyun Luo 

Publication date: 4 December 2013

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

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

zbMATH Keywords

consistencycoalgebrabisimulation

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)

Cited In (4)

• A Characterisation of Expressivity for Coalgebraic Bisimulation and Simulation
• Coalgebraic Reasoning in Coq: Bisimulation and the λ-Coiteration Scheme
• Enhanced coalgebraic bisimulation
• A general account of coinduction up-to

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)