Bisimulations Up-to: Beyond First-Order Transition Systems.

Jean-Marie Madiot, Damien Pous, Davide Sangiorgi

Browse the full CONCUR paper archive.