Lax Bialgebras and Up-To Techniques for Weak Bisimulations

DOI10.4230/LIPICS.CONCUR.2015.240zbMath1371.68187OpenAlexW1842129829MaRDI QIDQ5357707

Daniela Petrişan, Filippo Bonchi, Jurriaan Rot, Damien Pous

Publication date: 12 September 2017

Full work available at URL: https://hal.archives-ouvertes.fr/hal-01285299

zbMATH Keywords

weak bisimulationlax bialgebrasup-to techniques

Mathematics Subject Classification ID

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

Related Items (4)

Structural congruence for bialgebraic semantics ⋮ Unnamed Item ⋮ A general account of coinduction up-to ⋮ Equations, Contractions, and Unique Solutions

This page was built for publication: Lax Bialgebras and Up-To Techniques for Weak Bisimulations