A. A¨?ta¨?t-bachir, Measuring Similarity of Service Interfaces, Proc. of the PhD Symposium at ICSOC'08 CEUR Workshop Proceedings, 2008.

L. Bordeaux, G. Salaün, D. Berardi, and M. Mecella, When are Two Web Services Compatible?, Proc. of TES'04, pp.15-28, 2004.
DOI : 10.1007/978-3-540-31811-8_2

M. Bravetti and G. Zavattaro, Contract-Based Discovery and Composition of Web Services, SFM'09, pp.261-295
DOI : 10.1007/978-3-642-01918-0_7

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.

L. De-alfaro and T. Henzinger, Interface Automata, Proc. of ESEC/FSE'01, pp.109-120, 2001.

R. M. Dijkman, M. Dumas, and L. García-bañuelos, Graph Matching Algorithms for Business Process Model Similarity Search, Proc. of BPM'09, pp.48-63, 2009.
DOI : 10.1007/11914853_16

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

M. Hennessy and H. Lin, Symbolic bisimulations, Proc. of BPM'08, pp.353-389, 1995.
DOI : 10.1016/0304-3975(94)00172-F

C. D. Manning and H. Schütze, Foundations of Statistical Natural Language Processing, 1999.

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
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, pp.117-128, 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), pp.54-64, 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, Proc. of WWW'10, pp.731-740, 2010.

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

C. Ouyang, M. Dumas, W. M. Van-der-aalst, A. H. Ter-hofstede, and J. Mendling, From business process models to process-oriented software systems, ACM Transactions on Software Engineering and Methodology, vol.19, issue.1, 2009.
DOI : 10.1145/1555392.1555395

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

O. Sokolsky, S. Kannan, and I. Lee, Simulation-Based Graph Similarity, Proc. of TACAS'06, pp.426-440, 2006.
DOI : 10.1016/0022-2836(81)90087-5

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