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

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

S. Basu and T. Bultan, Choreography conformance via synchronizability, Proceedings of the 20th international conference on World wide web, WWW '11, pp.795-804, 2011.
DOI : 10.1145/1963405.1963516

M. Bozkurt, M. Harman, and Y. Hassoun, Testing Web Services: A Survey King's College London, 2010.

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

M. Bravetti and G. Zavattaro, Contract Compliance and Choreography Conformance in the Presence of Message Queues, Proc. of WS-FM'08, pp.37-54, 2009.
DOI : 10.1007/3-540-45657-0_13

T. Bultan and X. Fu, Specification of Realizable Service Conversations using Collaboration Diagrams, Service Oriented Computing and Applications, pp.27-39, 2008.

N. Busi, R. Gorrieri, C. Guidi, R. Lucchi, and G. Zavattaro, Choreography and Orchestration Conformance for System Design, Proc. of Coordination'06, pp.63-81, 2006.
DOI : 10.1007/11767954_5

M. Carbone, K. Honda, and N. Yoshida, Structured Communication-Centred Programming for Web Services, Proc. of ESOP'07, pp.2-17, 2007.
DOI : 10.1007/978-3-540-71316-6_2

P. Crouzen and F. Lang, Smart Reduction, Proc. of FASE'11, pp.111-126
DOI : 10.1007/978-3-642-19811-3_9
URL : https://hal.archives-ouvertes.fr/inria-00572535

G. Decker, O. Kopp, and A. Barros, An Introduction to Service Choreographies, Information Technology, vol.50, issue.2, pp.122-127, 2008.

G. Decker and M. Weske, Local Enforceability in Interaction Petri Nets, Proc. of BPM'07, pp.305-319, 2007.
DOI : 10.1007/978-3-540-75183-0_22

G. Decker and M. Weske, Interaction-centric modeling of process choreographies, Information Systems, vol.36, issue.2, pp.292-312, 2011.
DOI : 10.1016/j.is.2010.06.005

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

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
DOI : 10.1007/BFb0054166
URL : https://hal.archives-ouvertes.fr/inria-00583776

I. Lotos-?, A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour, 1989.

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

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

N. Lohmann and K. Wolf, Realizability Is Controllability, Proc. of WS-FM'09, pp.110-127, 2010.
DOI : 10.1007/978-3-642-14458-5_7

A. Marconi and M. Pistore, Synthesis and Composition of Web Services, Proc. of SFM'09, pp.89-157, 2009.
DOI : 10.1007/978-3-642-01918-0_3

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
DOI : 10.1504/IJBPIM.2006.010025
URL : https://hal.archives-ouvertes.fr/inria-00341598

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. Milner, Communication and Concurrency. International Series in Computer Science, 1989.

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

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

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