Types for mobile ambients (1999)

by L Cardelli, A D Gordon
Venue:In Proc. of POPL