Bisimulation congruences in safe ambients, in (2002)

by M Merro, M Hennessy
Venue:Proc. 29th ACM Symp. Principles of Programming Languages (POPL’02), ACM