Mobility types for mobile ambients (1999)

by Luca Cardelli, Giorgio Ghelli, Andrew D Gordon
Venue:of LNCS