Bisimulation proof methods for mobile ambients (2003)

by M Merro, F Zappa Nardelli
Venue:In Proc. of ICALP’03, volume 2719 of LNCS