Bisimulation Congruences in Safe Ambients (2002)

by Massimo Merro, Matthew Hennessy