G. Agha, Actors : a model of concurrent computation in distributed systems, 1986.

R. Amadio, I. Castellani, and D. Sangiorgi, On bisimulations for the asynchronous pi-calculus, CONCUR'96, volume 1119 sur LNCS, 2001.
URL : https://hal.archives-ouvertes.fr/inria-00073784

O. Angin, . Campbell, R. R. Kounavis, and . Liao, The mobiware toolkit: programmable support for adaptive mobile networking, IEEE Personal Communications, vol.5, issue.4, pp.32-43, 1998.
DOI : 10.1109/98.709367

A. Avizienis, J. C. Laprie, B. Randell, and C. Landwehr, Basic concepts and taxonomy of dependable and secure computing. Dependable and Secure Computing, IEEE Transactions on, vol.1, issue.1, pp.11-33, 2004.

M. Bertier, O. Marin, and E. P. Sens, Implementation and performance evaluation of an adaptable failure detector, Proceedings International Conference on Dependable Systems and Networks, 2002.
DOI : 10.1109/DSN.2002.1028920

T. D. Chandra, V. Hadzilacos, and S. Toueg, The weakest failure detector for solving consensus, Journal of the ACM, vol.43, issue.4, pp.685-722, 1996.
DOI : 10.1145/234533.234549

T. Deepak, C. , and S. Toueg, Unreliable failure detectors for reliable distributed systems, Journal of the ACM, vol.43, issue.2, pp.225-267, 1996.

R. De-nicola, G. L. Ferrari, and E. R. Pugliese, KLAIM: a kernel language for agents interaction and mobility, IEEE Transactions on Software Engineering, vol.24, issue.5, pp.315-330, 1998.
DOI : 10.1109/32.685256

W. Emmerich, Software engineering and middleware, Proceedings of the conference on The future of Software engineering , ICSE '00, pp.117-129, 2000.
DOI : 10.1145/336512.336542

C. Ene and T. Muntean, Expressiveness of point-to-point versus broadcast communications, Symposium : Fundamentals of Computation Theory, volume LNCS 1684, 1999.
DOI : 10.1007/3-540-48321-7_21

P. T. Eugster, P. A. Felber, R. Guerraoui, and A. M. Kermarrec, The many faces of publish/subscribe, ACM Computing Surveys, vol.35, issue.2, pp.114-131, 2003.
DOI : 10.1145/857076.857078

C. Fournet, G. Gonthier, J. Lévy, L. Maranget, and . Et-didier-rémy, A calculus of mobile agents, 7th International Conference on Concurrency Theory (CONCUR'96), volume 1119 sur LNCS, pp.406-421, 1996.
DOI : 10.1007/3-540-61604-7_67

A. Francalanza and M. Hennessy, A theory of system behaviour in the presence of node and link failures, In CONCUR, pp.368-382, 2005.

A. Fuggetta, G. P. Picco, and G. Vigna, Understanding code mobility, IEEE Transactions on Software Engineering, vol.24, issue.5, 1998.
DOI : 10.1109/32.685258

C. Felix and . Gartner, Fundamentals of fault-tolerant distributed computing in asynchronous environments, ACM Comput. Surv, vol.31, issue.1, pp.1-26, 1999.

Y. Gidron, I. Ben-shaul, O. Holder, and Y. Aridor, Dynamic configuration of access control for mobile components in fargo. Concurrency and Computation : Practice and Experience, pp.5-22, 2001.

G. Holzmann, The model checker SPIN. Software Engineering, IEEE Transactions on, vol.23, issue.5, pp.279-295, 1997.

D. Jung, Design of mobile mom : Message oriented middleware service for mobile computing, ICPP '99 : Proceedings of the 1999 International Workshops on Parallel Processing, p.434, 1999.

F. , L. Mouël, and F. André, AeDEn : un cadre général pour une distribution adaptative et dynamique des applications en environnements mobiles. Revue Électronique sur les Réseaux et l, Informatique Répartie (RERIR, vol.11, pp.169-181, 2001.

R. Milner, Communicating and Mobile Systems : The Pi Calculus, 1999.

F. Peschanski, A. Darrasse, N. Guts, and J. Bobbio, Coordinating mobile agents in interaction spaces, Science of Computer Programming, vol.66, issue.3, pp.246-265, 2007.
DOI : 10.1016/j.scico.2007.01.011
URL : https://hal.archives-ouvertes.fr/hal-00345754

P. Sens, L. Arantes, and E. M. Bouillaguet, Asynchronous Implementation of Failure Detectors with partial connectivity and unknown participants. Arxiv preprint cs, p.701015, 2007.
URL : https://hal.archives-ouvertes.fr/inria-00122517