Bisimulation congruences in Safe Ambients (2002)

by M Merro, M Hennessy
Venue:In Proceedings of POPL ’02. ACM