Bisimulation congruences in safe ambients (0)

by M Merro, M Hennessy
Venue:in Proceedings of POPL’02, 2002