Bisimulation congruences in safe ambients.

Massimo Merro, Matthew Hennessy

Browse the full POPL paper archive.