Mobility types for mobile ambients (1999)

by Luca Cardelli, Andrew D Gordon, Giorgio Ghelli
Venue:In Proceedings of the Conference on Automata, Languages, and Programming (ICALP’99