Lax Bialgebras and Up-To Techniques for Weak Bisimulations.

Filippo Bonchi, Daniela Petrisan, Damien Pous, Jurriaan Rot

Browse the full CONCUR paper archive.