Mobile ambients. (1998)

by L Cardelli, A D Gordon
Venue:In Proceedings of the First international Conference on Foundations of Software Science and Computation Structure,