S. Basu, T. Bultan, and M. Ouederni, Deciding Choreography Realizability, Proc. of POPL'12, pp.191-202, 2012.
DOI : 10.1145/2103656.2103680

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

A. Bennaceur, C. Chilton, M. Isberner, and B. Jonsson, Automated Mediator Synthesis: Combining Behavioural and Ontological Reasoning, Proc. of SEFM'13, pp.274-288, 2013.
DOI : 10.1007/978-3-642-40561-7_19

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

A. Bracciali, A. Brogi, and C. Canal, A formal approach to component adaptation, Journal of Systems and Software, vol.74, issue.1, pp.45-54, 2005.
DOI : 10.1016/j.jss.2003.05.007

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

A. Brogi and R. Popescu, Automated Generation of BPEL Adapters, Proc. of ICSOC'06, 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 Behavioral Mismatching Components, IEEE Transactions on Software Engineering, vol.34, issue.4, pp.546-563, 2008.
DOI : 10.1109/TSE.2008.31

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

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

H. Garavel, F. Lang, R. Mateescu, and W. Serwe, CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes, Proc. of TACAS'11, pp.372-387, 2011.
DOI : 10.1007/BFb0054166

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

C. Gierds, A. J. Mooij, and K. Wolf, Reducing Adapter Synthesis to Controller Synthesis, IEEE Transactions on Services Computing, vol.5, issue.1, pp.72-85, 2012.
DOI : 10.1109/TSC.2010.57

P. Inverardi and M. Tivoli, Automatic synthesis of modular connectors via composition of protocol mediation patterns, 2013 35th International Conference on Software Engineering (ICSE), pp.3-12, 2013.
DOI : 10.1109/ICSE.2013.6606546

R. Mateescu, P. Poizat, and G. Salaün, Adaptation of Service Protocols Using Process Algebra and On-the-Fly Reduction Techniques, IEEE Transactions on Software Engineering, vol.38, issue.4, pp.755-777, 2012.
DOI : 10.1109/TSE.2011.62

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

H. R. Motahari-nezhad, G. Y. Xu, and B. Benatallah, Protocol-aware matching of web service interfaces for adapter development, Proceedings of the 19th international conference on World wide web, WWW '10, pp.731-740, 2010.
DOI : 10.1145/1772690.1772765

M. Ouederni, G. Salaün, and T. Bultan, Compatibility Checking for Asynchronously Communicating Software, Proc. of FACS'13, 2013.
DOI : 10.1007/978-3-319-07602-7_19

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

L. Padovani, Contract-Based Discovery and Adaptation of Web Services, Proc. of SFM'09, pp.213-260, 2009.
DOI : 10.1007/978-3-642-01918-0_6

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

R. Seguel, R. Eshuis, and P. W. Grefen, Generating Minimal Protocol Adaptors for Loosely Coupled Services, 2010 IEEE International Conference on Web Services, pp.417-424, 2010.
DOI : 10.1109/ICWS.2010.14

W. M. Van-der-aalst, A. J. Mooij, C. Stahl, and K. Wolf, Service Interaction: Patterns, Formalization, and Analysis, Proc. of SFM'09, pp.42-88, 2009.
DOI : 10.1007/978-3-642-01918-0_2

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