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
Resource access control in systems of mobile agents, 1998. ,
Type inference with extended pattern matching and subtypes, Fundamenta Informaticae, vol.19, issue.12, pp.127-165, 1993. ,
The polyadic ¡ -calculus: a tutorial, 1991. ,
Typing and subtyping for mobile processes, [1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science, 1993. ,
DOI : 10.1109/LICS.1993.287570
Syntactic theories and the algebra of record terms, Institut National de Recherche en Informatique et Automatisme, p.153, 1993. ,
Type inference for records in a natural extension of ML, Theoretical Aspects Of Object-Oriented Programming. Types, Semantics and Language Design, 1993. ,
Trust and partial typing in open systems of mobile agents, 1998. ,
A machine-oriented logic based on the resolution principle, Journal of the Association for Computing Machinery, vol.12, pp.227-234, 1965. ,
The Polymorphic Pi-Calculus: Theory and Implementation, 1995. ,
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 ,
BP 105 -78153 Le Chesnay Cedex (France) http://www.inria.fr ISSN, pp.249-6399 ,