T Amtoft, H Makholm, JB Wells - … of Theoretical Informatics: IFIP 18th World …, 2004 - Springer
Previous type systems for mobility calculi (the original Mobile Ambients, its variants and
descendants, eg, Boxed Ambients and Safe Ambients, and other related systems) offer little …