Types for mobile ambients (1999)

by L Cardelli, A D Gordon
Venue:In Proceedings of the 26th ACM Symposium on Principles of Programming Languages