A. Brogi, A. Bracciali, and C. Canal, A formal approach to component adaptation, The Journal of Systems and Software, vol.74, pp.45-54, 2005.

M. Autili, P. Inverardi, A. Navarra, and M. Tivoli, SYNTHESIS: A Tool for Automatically Assembling Correct and Distributed Component-Based Systems, 29th International Conference on Software Engineering (ICSE'07), pp.784-787, 2007.
DOI : 10.1109/ICSE.2007.84

A. Brogi and R. Popescu, Automated Generation of BPEL Adapters, ICSOC 2006, pp.27-39, 2006.
DOI : 10.1007/11948148_3

J. Cámara, J. A. Martín, G. Salaün, J. Cubo, M. Ouederni et al., ITACA: An integrated toolbox for the automatic composition and adaptation of Web services, 2009 IEEE 31st International Conference on Software Engineering, pp.627-630, 2009.
DOI : 10.1109/ICSE.2009.5070572

C. Canal, P. Poizat, and G. Salaün, Model-based adaptation of behavioural mismatching components, IEEE Transactions on Software Engineering, vol.4, issue.34, pp.546-563, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00340122

J. Cubo, G. Salaün, C. Canal, E. Pimentel, and P. Poizat, A Model-Based Approach to the Verification and Adaptation of WF/.NET Components, Proc. of FACS, pp.39-55, 2007.
DOI : 10.1016/j.entcs.2008.06.020

M. Dumas, M. Spork, and K. Wang, Adapt or Perish: Algebra and Visual Notation for Service Interface Adaptation, BPM 2006, pp.65-80, 2006.
DOI : 10.1007/11841760_6

H. Foster, S. Uchitel, and J. Kramer, LTSA-WS, Proceeding of the 28th international conference on Software engineering , ICSE '06, pp.771-774, 2006.
DOI : 10.1145/1134285.1134408

X. Fu, T. Bultan, and J. Su, Analysis of interacting BPEL web services, Proceedings of the 13th conference on World Wide Web , WWW '04, pp.621-630, 2004.
DOI : 10.1145/988672.988756

I. Iec, LOTOS ? A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour, International Standard ISO, vol.8807, 1989.

R. Mateescu, P. Poizat, and G. Salaün, Adaptation of Service Protocols using Process Algebra and On-the-Fly Reduction Techniques, ICSOC 2008, pp.84-99, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00341598

H. R. Nezhad, B. Benatallah, A. Martens, F. Curbera, and F. Casati, Semi-automated adaptation of service interactions, Proc. of WWW, pp.993-1002, 2007.

P. Poizat and G. Salaün, Adaptation of Open Component-Based Systems, FMOODS 2007, pp.141-156, 2007.
DOI : 10.1145/244795.244801

URL : https://hal.archives-ouvertes.fr/hal-00342160

G. Salaün, Generation of Service Wrapper Protocols from Choreography Specifications, 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods, pp.313-322, 2008.
DOI : 10.1109/SEFM.2008.42

G. Salaün, L. Bordeaux, and M. Schaerf, Describing and reasoning on Web Services using Process Algebra, International Journal of Business Process Integration and Management, vol.1, issue.2, pp.116-128, 2006.
DOI : 10.1504/IJBPIM.2006.010025

D. M. Yellin and R. E. Strom, Protocol specifications and component adaptors, ACM Transactions on Programming Languages and Systems, vol.19, issue.2, pp.292-333, 1997.
DOI : 10.1145/244795.244801