A. Aït-bachir, Measuring similarity of service interfaces, ICSOC PhD Symposium of CEUR Workshop Proceedings, 2008.

S. Becker, A. Brogi, I. Gorton, S. Overhage, A. Romanovsky et al., Towards an Engineering Approach to Component Adaptation, Architecting Systems with Trustworthy Components, 2006.
DOI : 10.1145/242224.242420

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, 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, QSIC'09, 2009.

R. Cleaveland and O. Soko?sky, Equivalence and preorder checking for finite-state systems. Handbook of Process Algebra, 2001.

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, FACS, 2008.
DOI : 10.1016/j.entcs.2008.06.020

F. Durán, M. Ouederni, and G. Salaün, A generic framework for <mml:math altimg="si1.gif" display="inline" overflow="scroll" xmlns:xocs="http://www.elsevier.com/xml/xocs/dtd" xmlns:xs="http://www.w3.org/2001/XMLSchema" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns="http://www.elsevier.com/xml/ja/dtd" xmlns:ja="http://www.elsevier.com/xml/ja/dtd" xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:tb="http://www.elsevier.com/xml/common/table/dtd" xmlns:sb="http://www.elsevier.com/xml/common/struct-bib/dtd" xmlns:ce="http://www.elsevier.com/xml/common/dtd" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:cals="http://www.elsevier.com/xml/common/cals/dtd"><mml:mi>n</mml:mi></mml:math>-protocol compatibility checking, Science of Computer Programming, vol.77, issue.7-8, pp.870-886, 2012.
DOI : 10.1016/j.scico.2011.03.009

U. Fahrenberg and A. Legay, The quantitative linear-time???branching-time spectrum, Theoretical Computer Science, vol.538, pp.54-69, 2014.
DOI : 10.1016/j.tcs.2013.07.030
URL : https://hal.archives-ouvertes.fr/hal-01087368

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

N. Lohmann, Correcting Deadlocking Service Choreographies Using a Simulation-Based Graph Edit Distance, BPM'08, 2008.
DOI : 10.1007/978-3-540-85758-7_12

J. A. Martín and E. Pimentel, Automatic Generation of Adaptation Contracts, FOCLASA'08, 2009.
DOI : 10.1016/j.entcs.2009.06.032

R. Mateescu, P. Poizat, and G. Salaün, Adaptation of Service Protocols Using Process Algebra and On-the-Fly Reduction Techniques, IEEE Trans. Software Eng, vol.1, issue.2, pp.755-777, 2012.
DOI : 10.1504/IJBPIM.2006.010025
URL : https://hal.archives-ouvertes.fr/inria-00341598

S. Melnik, H. Garcia-molina, and E. Rahm, Similarity flooding: a versatile graph matching algorithm and its application to schema matching, Proceedings 18th International Conference on Data Engineering, 2002.
DOI : 10.1109/ICDE.2002.994702

S. Nejati, M. Sabetzadeh, M. Chechik, S. M. Easterbrook, and P. Zave, Matching and Merging of Statecharts Specifications, 29th International Conference on Software Engineering (ICSE'07), 2007.
DOI : 10.1109/ICSE.2007.50

H. R. Nezhad, G. Y. Xu, and B. Benatallah, Protocol-aware Matching of Web Service Interfaces for Adapter Development, WWW'10, 2010.

M. Ouederni and G. Salaün, Tau Be or not Tau Be? - A Perspective on Service Compatibility and Substitutability, WCSI'10, 2010.
DOI : 10.4204/EPTCS.37.5
URL : https://hal.archives-ouvertes.fr/inria-00539099

M. Ouederni, G. Salaün, and E. Pimentel, Quantifying Service Compatibility: A Step beyond the Boolean Approaches, ICSOC'10, 2010.
DOI : 10.1145/244795.244801
URL : https://hal.archives-ouvertes.fr/inria-00538963

M. Ouederni, G. Salaün, and E. Pimentel, Client Update: A Solution for Service Evolution, 2011 IEEE International Conference on Services Computing, 2011.
DOI : 10.1109/SCC.2011.57
URL : https://hal.archives-ouvertes.fr/hal-00649933

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, 2011.
DOI : 10.1145/1982185.1982516
URL : https://hal.archives-ouvertes.fr/hal-00650529

T. Pedersen, S. Patwardhan, and J. Michelizzi, Wordnet::similarity -measuring the relatedness of concepts, AAAI'04. AAAI, 2004.

P. Poizat, G. Salaün, and M. Tivoli, An Adaptation-based Approach to Incrementally Build Component Systems, Electronic Notes in Theoretical Computer Science, vol.182, pp.155-170, 2007.
DOI : 10.1016/j.entcs.2006.09.037
URL : https://hal.archives-ouvertes.fr/hal-00342162

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

G. Salton and M. Mcgill, Introduction to Modern Information Retrieval, 1983.

O. Soko?sky, S. Kannan, and I. Lee, Simulation-Based Graph Similarity, TACAS'06, 2006.
DOI : 10.1016/0022-2836(81)90087-5

R. Van-glabbeek and W. P. Weijland, Branching time and abstraction in bisimulation semantics, Journal of the ACM, vol.43, issue.3, pp.555-600, 1996.
DOI : 10.1145/233551.233556

Z. Wu, S. Deng, Y. Li, and J. Wu, Computing compatibility in dynamic service composition, Knowledge and Information Systems, vol.20, issue.3, pp.107-129, 2009.
DOI : 10.1007/s10115-008-0143-5

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

A. Zisman, G. Spanoudakis, and J. Dooley, A Framework for Dynamic Service Discovery, 2008 23rd IEEE/ACM International Conference on Automated Software Engineering, 2008.
DOI : 10.1109/ASE.2008.26