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

S. Becker, A. Brogi, I. Gorton, S. Overhage, A. Romanovsky et al., Towards an Engineering Approach to Component Adaptation, Lecture Notes in Computer Science, vol.28, pp.193-215, 2006.
DOI : 10.1145/242224.242420

D. Bergamini, N. Descoubes, C. Joubert, and &. R. Mateescu, BISIMULATOR: A Modular Tool for On-the-Fly Equivalence Checking, Proc. of TACAS'05, pp.581-585, 2005.
DOI : 10.1007/978-3-540-31980-1_42

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

A. Beugnard, J. Jézéquel, and &. N. Plouzeau, Making components contract aware, Computer, vol.32, issue.7, pp.38-45, 1999.
DOI : 10.1109/2.774917

D. Beyer, A. Chakrabarti, and &. T. Henzinger, Web service interfaces, Proceedings of the 14th international conference on World Wide Web , WWW '05, pp.148-159, 2005.
DOI : 10.1145/1060745.1060770

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

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

S. D. Brookes, C. A. Hoare, and &. W. Roscoe, A Theory of Communicating Sequential Processes, Theory of Communicating Sequential Processes, pp.560-599, 1984.
DOI : 10.1145/828.833

M. Buchi and &. W. Weck, The Greybox Approach: When Blackbox Specifications Hide Too Much, 1999.

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

C. Canal, E. Pimentel, and &. J. Troya, Compatibility and inheritance in software architectures, Science of Computer Programming, vol.41, issue.2, pp.105-138, 2001.
DOI : 10.1016/S0167-6423(01)00002-8

C. Canal, P. Poizat, and &. G. Salaün, Model-Based Adaptation of Behavioral Mismatching Components, IEEE Transactions on Software Engineering, vol.34, issue.4, pp.546-563, 2008.
DOI : 10.1109/TSE.2008.31

I. Cerná, P. Vareková, and &. B. Zimmerova, Component Substitutability via Equivalencies of Component- Interaction Automata, Proc. of FACS'07, pp.39-55, 2007.

H. S. Chae, J. S. Lee, and &. J. Bae, AN APPROACH TO CHECKING BEHAVIORAL COMPATIBILITY BETWEEN WEB SERVICES, International Journal of Software Engineering and Knowledge Engineering, vol.18, issue.02, pp.223-241, 2008.
DOI : 10.1142/S0218194008003647

M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-oliet et al., All About Maude -A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic, Lecture Notes in Computer Science, vol.4350, 2007.

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'07, pp.39-55, 2008.
DOI : 10.1016/j.entcs.2008.06.020

F. Duran, 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

H. Garavel, R. Mateescu, F. Lang, and &. W. Serwe, CADP??2006: A Toolbox for the Construction and Analysis of Distributed Processes, Proc. of CAV'07, pp.158-163, 2007.
DOI : 10.1007/978-3-540-73368-3_18

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

R. J. Van-glabbeek, The Linear Time -Branching Time Spectrum I, chapter 1 Handbook of Process Algebra, pp.3-99, 2001.

R. J. Van-glabbeek and &. W. 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

N. Hameurlain, On compatibility and behavioural substitutability of component protocols, Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05), pp.394-403, 2005.
DOI : 10.1109/SEFM.2005.30

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

N. Hameurlain, Flexible Behavioural Compatibility and Substitutability for Component Protocols: A Formal Specification, Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), pp.391-400, 2007.
DOI : 10.1109/SEFM.2007.19

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

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

J. Henriksson, F. Heidenreich, J. Johannes, S. Zschaler, and &. U. Aßmann, How Dark Should a Component Black-box Be? The Reuseware Answer, Proc. of WCOP'07, 2007.

B. Liskov and &. J. Wing, A behavioral notion of subtyping, ACM Transactions on Programming Languages and Systems, vol.16, issue.6, pp.1811-1841, 1994.
DOI : 10.1145/197320.197383

J. A. Martín and &. E. Pimentel, Automatic Generation of Adaptation Contracts, Proc. of FO- CLASA'08, pp.115-131, 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, Proc. of ICSOC'08, pp.84-99, 2008.
DOI : 10.1504/IJBPIM.2006.010025

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

F. Plasil and &. S. Visnovsky, Behavior protocols for software components, IEEE Transactions on Software Engineering, vol.28, issue.11, pp.1056-1076, 2002.
DOI : 10.1109/TSE.2002.1049404

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.23.9185

R. Milner, Communication and Concurrency, International Series in Computer Science, 1989.

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

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. 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