R. Milner, Communication and Concurrency, 1989.

J. Bergstra and M. Loots, Program algebra for component code Formal aspects of computing, pp.1-17, 2000.

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

J. Kempf, R. S. Pierre, and P. S. Pierre, Service Location Protocol for Enterprise Networks: Implementing and Deploying a Dynamic Service Finder, 1999.

J. S. Balasubramaniyan, J. O. Garcia-fernandez, D. Isacoff, E. Spafford, and D. Zamboni, An architecture for intrusion detection using autonomous agents, Proceedings 14th Annual Computer Security Applications Conference (Cat. No.98EX217), 1998.
DOI : 10.1109/CSAC.1998.738563

N. Bernard and Y. Dumond, Spécification en pi-calcul de l'´ etude de cas relative au contrôle d'accès, Proceedings of AFADL'07, 2000.

E. A. Emerson and J. Y. Halpern, ???Sometimes??? and ???not never??? revisited: on branching versus linear time temporal logic, Journal of the ACM, vol.33, issue.1, pp.151-178, 1986.
DOI : 10.1145/4904.4999

K. G. Larsen, P. Pettersson, and W. Yi, Uppaal in a nutshell, International Journal on Software Tools for Technology Transfer, vol.1, issue.1-2, pp.134-152, 1997.
DOI : 10.1007/s100090050010

G. Ferrari, S. Gnesi, U. Montanari, and M. Pistore, A model-checking verification environment for mobile processes, ACM Transactions on Software Engineering and Methodology, vol.12, issue.4, pp.440-473, 2003.
DOI : 10.1145/990010.990013

C. Dumont and F. Mourlin, Space Based Architecture for Numerical Solving, 2008 International Conference on Computational Intelligence for Modelling Control & Automation, pp.309-314, 2008.
DOI : 10.1109/CIMCA.2008.157
URL : https://hal.archives-ouvertes.fr/hal-00378342