1. Amtoft, T.: Causal type system for ambient movements. Submitted for publication (2003)
2. Amtoft, T., Kfoury, A.J., Geertsen-Pericás, S.M.: What are polymorphically-typed ambients? In: Proceedings of ESOP'01. LNCS 2028, pp. 206–220. Springer Verlag (2001)
3. Amtoft, T., Kfoury, A.J., Pericás-Geertsen, S.M., Orderly communication in the ambient calculus. Comput. Lang. Syst. Struct. 28, 29–60 (2002)
4. Amtoft, T., Makholm, H., Wells, J.B.: PolyA: true type polymorphism for mobile ambients. In: Proceedings of TCS'04, pp. 591–604. Kluwer Academic Publisher, Drodrecht (2004)
5. Barbanera, F., Dezani-Ciancaglini, M., Salvo, I., Sassone, V.: A type inference algorithm for secure ambients. In: Proceedings of TOSCA'01. ENTCS, 50(2), (2001)