Deriving Bisimulation Congruences with Borrowed Contexts.

Barbara Knig

Browse the full CALCO paper archive.