Bisimulation congruences in safe ambients (2002)

by M Merro, M Hennessy
Venue:In 29th ACM Symposium on Principles of Programming Languages (POPL