Bisimulation congruences (2002)

by M Merro, M Hennessy
Venue:in Safe Ambients. POPL