C. Fournet, G. Gonthier, J. Lévy, L. Maranget, and D. Rémy, A calculus of mobile agents, Proceedings of the 7th International Conference on Concurrency Theory (CONCUR'96), pp.406-421, 1996.
DOI : 10.1007/3-540-61604-7_67

M. Hennessy and J. Riely, Resource access control in systems of mobile agents, 1998.

L. Jategaonkar and J. C. Mitchell, Type inference with extended pattern matching and subtypes, Fundamenta Informaticae, vol.19, issue.12, pp.127-165, 1993.

]. R. Mil91 and . Milner, The polyadic ¡ -calculus: a tutorial, 1991.

D. [. Pierce and . Sangiorgi, Typing and subtyping for mobile processes, [1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science, 1993.
DOI : 10.1109/LICS.1993.287570

]. D. Rém93a and . Rémy, Syntactic theories and the algebra of record terms, Institut National de Recherche en Informatique et Automatisme, p.153, 1993.

]. D. Rém93b and . Rémy, Type inference for records in a natural extension of ML, Theoretical Aspects Of Object-Oriented Programming. Types, Semantics and Language Design, 1993.

J. Riely and M. Hennessy, Trust and partial typing in open systems of mobile agents, 1998.

J. A. Robinson, A machine-oriented logic based on the resolution principle, Journal of the Association for Computing Machinery, vol.12, pp.227-234, 1965.

]. D. Tur95 and . Turner, The Polymorphic Pi-Calculus: Theory and Implementation, 1995.

I. Unité-de-recherche and . Lorraine, Technopôle de Nancy-Brabois -Campus scientifique 615, rue du Jardin Botanique -BP 101 -54602 Villers-lès-Nancy Cedex (France) Unité de recherche INRIA Rennes : IRISA, Campus universitaire de Beaulieu -35042 Rennes Cedex (France) Unité de recherche INRIA Rhône-Alpes : 655, avenue de l'Europe -38330 Montbonnot-St, Domaine de Voluceau -Rocquencourt -BP 105 -78153 Le Chesnay Cedex

I. De-voluceau-rocquencourt, BP 105 -78153 Le Chesnay Cedex (France) http://www.inria.fr ISSN, pp.249-6399