L. De, A. , and T. A. Henzinger, Interface automata, Proceeding of the join 8th European Software Engineering Conference and 9th ACM SIGSOFT International Symposium on the foundations of Software Engineering (ESEC/FSE 01), 2001.

J. C. Baeten, A brief history of process algebra, Theoretical Computer Science, vol.335, issue.2-3
DOI : 10.1016/j.tcs.2004.07.036

C. Bidan, V. Issarny, T. Saridakis, and A. Zarras, A dynamic reconfiguration service for CORBA, Proceedings. Fourth International Conference on Configurable Distributed Systems (Cat. No.98EX159), p.35, 1998.
DOI : 10.1109/CDS.1998.675756

T. Bolognesi and E. Brinksma, Introduction to the iso specification language lotos. Formal Description Technique LOTOS, pp.23-73

M. Bravatti and G. Zavattaro, Service oriented computing from a process algebraic perspective, The Journal of Logic and Algebraic Programming, vol.70, issue.1, 2006.
DOI : 10.1016/j.jlap.2006.05.002

L. Cardelli and A. D. Gordon, Mobile ambient, 2003.

S. Chouali, H. Mountassir, and S. Mouelhi, An i/o automata based approach to verify component compatibility :application to the cycabcar, 2008.

S. Chouali, H. Mountassir, and S. Mouelhi, Adaptation des protocoles des composants par les automates interfaces, 2010.

P. Rogerio-de-lemos, . Asterio-de-castro, C. Guerra, and . Rubira, A fault-tolerant architectural approach for dependable systems, IEEE Software, vol.23, issue.2, pp.80-87, 2006.
DOI : 10.1109/MS.2006.35

D. Athanasopoulos, A. Zarras, and V. Issarny, Service Substitution Revisited, 2009 IEEE/ACM International Conference on Automated Software Engineering, 2009.
DOI : 10.1109/ASE.2009.58

URL : https://hal.archives-ouvertes.fr/inria-00459358

M. Fredj, N. Georgantas, V. Issarny, and A. Zarras, Dynamic Service Substitution in Service-Oriented Architectures, 2008 IEEE Congress on Services, Part I, pp.101-104, 2008.
DOI : 10.1109/SERVICES-1.2008.52

K. Gama and D. Donsez, Service Coroner: A Diagnostic Tool for Locating OSGi Stale References, 2008 34th Euromicro Conference Software Engineering and Advanced Applications, pp.108-115, 2008.
DOI : 10.1109/SEAA.2008.32

M. Schaerf-gwen and L. Bordeaux, Describing and reasoning on web services using process algebra

O. Hyukjun, A. Heejune, and H. Jiman, Towards reliable osgi operating framework and applications, JOURNAL OF INFORMATION SCIENCE AND ENGINEERING, vol.23, pp.1379-1390, 2007.

M. Herlihy, J. B. Eliot, and . Moss, Transactional memory, ACM SIGARCH Computer Architecture News, vol.21, issue.2, pp.289-30050, 1993.
DOI : 10.1145/173682.165164

J. Gerard and . Holzman, The spin model checker, IEE TRANSACTION ON SOFTWARE ENGINEERING, 1997.

J. Krivine, Algèbres de Processus Réversibles et Programmation Concurrente Déclarative, 2006.

N. A. Lynch and M. R. Tuttle, An introduction to input output automata, 1988.

Z. Manna and A. Pnueli, Temporal verification of reactive systems, 1995.
DOI : 10.1007/978-1-4612-4222-2

F. Martinelli and I. Matteucci, Synthesis of Web Services Orchestrators in a Timed Setting, pp.124-138, 2008.
DOI : 10.1007/978-3-540-79230-7_9

M. Robin, Communication and concurrency, Internationel Series on Computer Science, 1989.

M. Robin, The polyadic pi-calculus : a tutorial The King's Building, Laboratory for Foundations of Computer Science, 1991.

R. Milner and J. Parrow, A calculus of mobile processes, i

H. R. , M. Nezhad, B. Benatallah, A. Martens, F. Curbera et al., Semi-automated adaptation of service interactions, Proceedings of the 16th international conference on World Wide Web, pp.993-1002, 2007.

M. Y. Ng and M. Butler, Tool Support for Visualizing CSP in UML, Proc. of ICFEM 02, pp.287-298, 2002.
DOI : 10.1007/3-540-36103-0_31

T. Li, R. Cleaveland, and S. Sims, The concurrency workbench of the new century (version 1, 2000.

D. M. Jackson, G. M. Reed, J. N. Reed, J. Schneider, A. W. Davies et al., Timed scp : Theory and practice, Proc. of REX Workshop on Real-Time. Theory in Practice, pp.640-675, 1992.

G. Salaün, L. Bordeaux, and M. Schaerf, Describing and reasonning on web services using process algebra

I. Thatte, T. Trickovic, F. Andrews, S. Curbera, and . Weerawarana, Specification : Business process language execution for web services

Y. Taher, D. Benslimane, M. Fauvet, and Z. Maamar, Towards an approach for web services substitution, Database Engineering and Applications Symposium, 2006. IDEAS '06. 10th International, pp.166-17350, 2006.
URL : https://hal.archives-ouvertes.fr/hal-00953901

T. Templier, Programmation par composant avec la technologie osgi (1ère partie), 2008.

J. Charles and T. , une architecture à base de composants pour la gestion de la qualité de service dans les systèmes embarqués mobiles

M. P. Wil and . Van-der-aalst, Verification of workflow nets, Proceedings of the 18th International Conference on Application and Theory of Petri Nets, pp.407-426, 1997.

H. Li-jun-ge-jidong-yin-qin, L. Hao, and . Jian, A behavior consistent service discovery and substitution mechanism in osgi, IASTED/ACTA, vol.50, p.50, 2005.