Up-to Techniques for Branching Bisimilarity.

Rick Erkens, Jurriaan Rot, Bas Luttik

Browse the full SOFSEM paper archive.