V. Andrikopoulos, S. Benbernou, and M. P. Papazoglou, Evolving Services from a Contractual Perspective, Proc. of CAiSE'09, pp.290-304, 2009.
DOI : 10.1007/11431855_29
URL : https://hal.archives-ouvertes.fr/hal-01437688

A. Azough, E. Coquery, and M. S. Hacid, Supporting Web Service Protocol Changes by Propagation, 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology, pp.438-441, 2009.
DOI : 10.1109/WI-IAT.2009.76
URL : https://hal.archives-ouvertes.fr/hal-01437780

S. Becker, A. Brogi, I. Gorton, S. Overhage, A. Romanovsky et al., Towards an Engineering Approach to Component Adaptation, Architecting Systems with Trustworthy Components, pp.193-215, 2006.
DOI : 10.1145/242224.242420
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.107.3933

D. Brand and P. Zafiropulo, On Communicating Finite-State Machines, Journal of the ACM, vol.30, issue.2, pp.323-342, 1983.
DOI : 10.1145/322374.322380

J. Cámara, J. Antonio-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

J. Cámara, G. Salaün, C. Canal, and M. Ouederni, Interactive Specification and Verification of Behavioural Adaptation Contracts, Proc. of QSIC'09, pp.65-75, 2009.

R. Cleaveland and O. Sokolsky, Equivalence and Preorder Checking for Finite-State Systems. Handbook of Process Algebra, pp.391-424, 2001.
DOI : 10.1016/b978-044482830-9/50024-2

M. Dumas, M. Spork, and K. Wang, Adapt or Perish: Algebra and Visual Notation for Service Interface Adaptation, Proc. of BPM'06, pp.65-80, 2006.
DOI : 10.1007/11841760_6
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.210.460

F. Durán, M. Ouederni, and G. Salaün, Checking Protocol Compatibility using Maude, Proc. of FOCLASA'09, pp.65-81, 2009.
DOI : 10.1016/j.entcs.2009.10.025

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

X. Fu, T. Bultan, and J. Su, Synchronizability of conversations among Web services, IEEE Transactions on Software Engineering, vol.31, issue.12, pp.1042-1055, 2005.
DOI : 10.1109/TSE.2005.141

M. Hennessy and H. Lin, Symbolic bisimulations, Theoretical Computer Science, vol.138, issue.2, pp.353-389, 1995.
DOI : 10.1016/0304-3975(94)00172-F
URL : http://doi.org/10.1016/0304-3975(94)00172-f

W. Kongdenfha, R. Saint-paul, B. Benatallah, and F. Casati, An Aspect-Oriented Framework for Service Adaptation, Proc. of ICSOC'06, pp.15-26, 2006.
DOI : 10.1007/11948148_2

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

M. Ouederni, G. Salaün, and E. Pimentel, Measuring the compatibility of service interaction protocols, Proceedings of the 2011 ACM Symposium on Applied Computing, SAC '11, pp.1560-1567, 2011.
DOI : 10.1145/1982185.1982516
URL : https://hal.archives-ouvertes.fr/hal-00650529

G. J. Pace, F. Lang, and R. Mateescu, Calculating ??-Confluence Compositionally, Proc. of CAV'03, pp.446-459, 2003.
DOI : 10.1007/978-3-540-45069-6_41
URL : https://hal.archives-ouvertes.fr/inria-00071661

M. P. Papazoglou, The Challenges of Service Evolution, Proc. of CAiSE'08, pp.1-15, 2008.
DOI : 10.1007/978-3-540-69534-9_1

S. H. Ryu, F. Casati, H. Skogsrud, B. Benatallah, and R. Saint-paul, Supporting the dynamic evolution of Web service protocols in service-oriented architectures, ACM Transactions on the Web, vol.2, issue.2, pp.1-46, 2008.
DOI : 10.1145/1346337.1346241

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