X. Fu, T. Bultan, and J. Su, Conversation protocols: a formalism for specification and verification of reactive electronic services, Theoretical Computer Science, vol.328, issue.1-2, pp.19-37, 2004.
DOI : 10.1016/j.tcs.2004.07.004

T. Bultan and X. Fu, Specification of realizable service conversations using collaboration diagrams, Service Oriented Computing and Applications, pp.27-39, 2008.
DOI : 10.1007/s11761-008-0022-7

G. Salaün, L. Bordeaux, and M. Schaerf, Describing and Reasoning on Web Services using Process Algebra, Proc. of ICWS'04, pp.43-51, 2004.

W. M. Van-der-aalst, M. Dumas, C. Ouyang, A. Rozinat, and H. M. Verbeek, Choreography Conformance Checking: An Approach based on BPEL and Petri Nets, Proceedings of the Dagstuhl Seminar on The Role of Business Processes in Service Oriented Architectures, 2006.

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

R. Kazhamiakin and M. Pistore, Analysis of Realizability Conditions for Web Service Choreographies, Proc. of FORTE'06, ser. LNCS, pp.61-76, 2006.
DOI : 10.1145/322374.322380

Z. Qiu, X. Zhao, C. Cai, and H. Yang, Towards the theoretical foundation of choreography, Proceedings of the 16th international conference on World Wide Web , WWW '07, pp.973-982, 2007.
DOI : 10.1145/1242572.1242704

M. Carbone, K. Honda, and N. Yoshida, Structured Communication-Centred Programming for Web Services, Proc. of ESOP'07, ser. LNCS, pp.2-17, 2007.
DOI : 10.1007/978-3-540-71316-6_2
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.107.902

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, ser. LNCS, pp.158-163, 2007.
DOI : 10.1007/978-3-540-73368-3_18
URL : https://hal.archives-ouvertes.fr/inria-00189021

G. J. Holzmann, The model checker SPIN, IEEE Transactions on Software Engineering, vol.23, issue.5, pp.279-295, 1997.
DOI : 10.1109/32.588521

G. Salaün and T. Bultan, Realizability of Choreographies using Process Algebra Encodings, Proc. of IFM'2009, ser, pp.167-182, 2009.

H. Garavel and F. Lang, SVL: A Scripting Language for Compositional Verification, Proc. of FORTE'01. Kluwer, pp.377-394, 2001.
DOI : 10.1007/0-306-47003-9_24
URL : https://hal.archives-ouvertes.fr/inria-00072396

R. Mateescu and M. Sighireanu, Efficient on-the-fly model-checking for regular alternation-free mu-calculus, Science of Computer Programming, vol.46, issue.3, pp.255-281, 2003.
DOI : 10.1016/S0167-6423(02)00094-1
URL : https://hal.archives-ouvertes.fr/inria-00072755

R. Alur, K. Etessami, and M. Yannakakis, Realizability and verification of MSC graphs, Theoretical Computer Science, vol.331, issue.1, pp.97-114, 2005.
DOI : 10.1016/j.tcs.2004.09.034

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

N. Busi, R. Gorrieri, C. Guidi, R. Lucchi, and G. Zavattaro, Choreography and Orchestration Conformance for System Design, Proc. of Coordination'06, ser. LNCS, pp.63-81, 2006.
DOI : 10.1007/11767954_5
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.102.1324

J. Li, H. Zhu, and G. Pu, Conformance Validation between Choreography and Orchestration, First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07), pp.473-482, 2007.
DOI : 10.1109/TASE.2007.16

J. M. Zaha, M. Dumas, A. H. Ter-hofstede, A. P. Barros, and G. Decker, Service Interaction Modeling: Bridging Global and Local Views, 2006 10th IEEE International Enterprise Distributed Object Computing Conference (EDOC'06), pp.45-55, 2006.
DOI : 10.1109/EDOC.2006.50
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.156.1421

J. Mendling and M. Hafner, From Inter-organizational Workflows to Process Execution: Generating BPEL from WS-CDL, Proc. of OTM'05 Workshops, ser. LNCS, pp.506-515, 2005.
DOI : 10.1007/11575863_70
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.59.5534

]. R. Alur, K. Etessami, and M. Yannakakis, Inference of message sequence charts, IEEE Transactions on Software Engineering, vol.29, issue.7, pp.623-633, 2003.
DOI : 10.1109/TSE.2003.1214326

S. Uchitel, J. Kramer, and J. Magee, Incremental elaboration of scenario-based specifications and behavior models using implied scenarios, ACM Transactions on Software Engineering and Methodology, vol.13, issue.1, pp.37-85, 2004.
DOI : 10.1145/1005561.1005563

X. Fu, T. Bultan, and J. Su, WSAT: A Tool for Formal Analysis of Web Services, Proc. of CAV'04, ser. LNCS, pp.510-514, 2004.
DOI : 10.1007/978-3-540-27813-9_48

N. Roohi, G. Salaün, and S. H. Mirian, Analyzing Chor Specifications by Translation into FSP, Proc. of FOCLASA'09, ser. ENTCS, pp.159-176, 2009.
DOI : 10.1016/j.entcs.2009.10.030
URL : http://doi.org/10.1016/j.entcs.2009.10.030

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, ser. LNCS, pp.84-99, 2008.
DOI : 10.1109/TSE.2011.62
URL : https://hal.archives-ouvertes.fr/inria-00341598

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

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

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