G. Anderson and J. Rathke, Dynamic Software Update for Message Passing Programs, Lecture Notes in Computer Science, vol.7705, pp.207-222, 2012.
DOI : 10.1007/978-3-642-35182-2_15

L. Bettini, M. Coppo, L. D. Antoni, M. D. Luca, M. Dezani-ciancaglini et al., Global Progress in Dynamically Interleaved Multiparty Sessions, In CONCUR Lecture Notes in Computer Science, vol.5201, pp.418-433, 2008.
DOI : 10.1007/978-3-540-85361-9_33

K. Bhargavan, R. Corin, P. Deniélou, C. Fournet, and J. J. Leifer, Cryptographic Protocol Synthesis and Verification for Multiparty Sessions, 2009 22nd IEEE Computer Security Foundations Symposium, pp.124-140, 2009.
DOI : 10.1109/CSF.2009.26

M. Boreale, R. Bruni, L. Caires, R. De-nicola, I. Lanese et al., SCC: A Service Centered Calculus, WS-FM, pp.38-57, 2006.
DOI : 10.1007/11841197_3

M. Boreale, R. Bruni, R. De-nicola, and M. Loreti, Sessions and Pipelines for Structured Service Programming, Lecture Notes in Computer Science, vol.5051, pp.19-38, 2008.
DOI : 10.1007/978-3-540-68863-1_3

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

S. Briais and U. Nestmann, A formal semantics for protocol narrations, Theoretical Computer Science, vol.389, issue.3, pp.484-511, 2007.
DOI : 10.1016/j.tcs.2007.09.005

C. Caleiro, L. Viganò, and D. A. Basin, On the semantics of Alice&Bob specifications of security protocols, Theoretical Computer Science, vol.367, issue.1-2, pp.88-122, 2006.
DOI : 10.1016/j.tcs.2006.08.041

M. Carbone, K. Honda, and N. Yoshida, Structured Communication-Centered Programming for Web Services, ACM Transactions on Programming Languages and Systems, vol.34, issue.2, p.8, 2012.
DOI : 10.1145/2220365.2220367

M. Carbone and F. Montesi, Deadlock-freedom-by-design: multiparty asynchronous global programming, POPL, pp.263-274, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00909320

G. Castagna, M. Dezani-ciancaglini, and L. Padovani, On global types and multiparty session, Logical Methods in Computer Science, vol.8, issue.1, p.2012

A. Clark, S. Gilmore, and M. Tribastone, Quantitative Analysis of Web Services Using SRMC, SFM, pp.296-339, 2009.
DOI : 10.1007/978-3-642-01918-0_8

M. Coppo, M. Dezani-ciancaglini, and B. Venneri, Self-Adaptive Monitors for Multiparty Sessions, 2014 22nd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, pp.688-696, 2014.
DOI : 10.1109/PDP.2014.18

M. D. Preda, M. Gabbrielli, C. Guidi, J. Mauro, and F. Montesi, Interface-Based Service Composition with Aggregation, Lecture Notes in Computer Science, vol.7592, pp.48-63, 2012.
DOI : 10.1007/978-3-642-33427-6_4

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

M. D. Preda, S. Giallorenzo, I. Lanese, J. Mauro, and M. Gabbrielli, AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications, Lecture Notes in Computer Science, vol.8706, pp.161-170, 2014.
DOI : 10.1007/978-3-319-11245-9_9

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

C. , D. Giusto, and J. A. Pérez, Disciplined structured communications with consistent runtime adaptation, SAC, pp.1913-1918, 2013.

J. L. Fiadeiro, A. Lopes, and L. Bocchi, A Formal Approach to Service Component Architecture, WS-FM, pp.193-213, 2006.
DOI : 10.1007/11841197_13

H. Foster, S. Uchitel, J. Magee, and J. Kramer, LTSA-WS, Proceeding of the 28th international conference on Software engineering , ICSE '06, pp.771-774, 2006.
DOI : 10.1145/1134285.1134408

X. Fu, T. Bultan, and J. Su, Realizability of Conversation Protocols with Message Contents, International Journal of Web Services Research, vol.2, issue.4, pp.68-93, 2005.
DOI : 10.4018/jwsr.2005100104

M. Gabbrielli, S. Giallorenzo, and F. Montesi, Service-Oriented Architectures: From Design to Production Exploiting Workflow Patterns, DCAI, volume 290 of Advances in Intelligent Systems and Computing, pp.131-139, 2014.
DOI : 10.1007/978-3-319-07593-8_17

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

C. Guidi, I. Lanese, F. Montesi, and G. Zavattaro, Dynamic error handling in service oriented applications, Fundam. Inform, vol.95, issue.1, pp.73-102, 2009.

D. Harel and P. Thiagarajan, Message Sequence Charts, UML for real, pp.77-105, 2003.
DOI : 10.1007/0-306-48738-1_4

K. Honda, V. Vasconcelos, and M. Kubo, Language primitives and type discipline for structured communication-based programming, ESOP, pp.22-138, 1998.
DOI : 10.1007/BFb0053567

K. Honda, N. Yoshida, and M. Carbone, Multiparty asynchronous session types, POPL, pp.273-284, 2008.
DOI : 10.1145/1328438.1328472

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

I. Lanese, A. Bucchiarone, and F. Montesi, A Framework for Rule-Based Dynamic Adaptation, Lecture Notes in Computer Science, vol.6084, pp.284-300, 2010.
DOI : 10.1007/978-3-642-15640-3_19

I. Lanese, C. Guidi, F. Montesi, and G. Zavattaro, Bridging the Gap between Interaction- and Process-Oriented Choreographies, 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods, pp.323-332, 2008.
DOI : 10.1109/SEFM.2008.11

I. Lanese, F. Martins, V. T. Vasconcelos, and A. Ravara, Disciplining Orchestration and Conversation in Service-Oriented Computing, Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), pp.305-314, 2007.
DOI : 10.1109/SEFM.2007.13

A. Lapadula, R. Pugliese, and F. Tiezzi, A Calculus for Orchestration of Web Services, Lecture Notes in Computer Science, vol.4421, pp.33-47, 2007.
DOI : 10.1007/978-3-540-71316-6_4

A. Lapadula, R. Pugliese, and F. Tiezzi, Using formal methods to develop WS-BPEL??applications, Science of Computer Programming, vol.77, issue.3, pp.189-213, 2012.
DOI : 10.1016/j.scico.2011.03.002

L. A. Leite, G. A. Oliva, G. M. Nogueira, M. A. Gerosa, F. Kon et al., A systematic literature review of service choreography adaptation, Service Oriented Computing and Applications, pp.199-216, 2013.
DOI : 10.1007/s11761-012-0125-z

F. Montesi, Choreographic Programming, 2013.
DOI : 10.1007/978-3-319-33612-1_1

URL : http://arxiv.org/abs/1502.02519

F. Montesi, C. Guidi, and G. Zavattaro, Composing Services with JOLIE, Fifth European Conference on Web Services (ECOWS'07), pp.13-22, 2007.
DOI : 10.1109/ECOWS.2007.19

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

F. Montesi and N. Yoshida, Compositional Choreographies, Lecture Notes in Computer Science, vol.8052, pp.425-439, 2013.
DOI : 10.1007/978-3-642-40184-8_30

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

R. Neykova, N. Yoshida, and R. Hu, SPY: Local Verification of Global Protocols, Lecture Notes in Computer Science, vol.8174, pp.358-363, 2013.
DOI : 10.1007/978-3-642-40787-1_25

M. H. Ter-beek, A. Fantechi, S. Gnesi, and F. Mazzanti, An Action/State-Based Model-Checking Approach for the Analysis of Communication Protocols for Service-Oriented Applications, Lecture Notes in Computer Science, vol.4916, pp.133-148, 2007.
DOI : 10.1007/978-3-540-79707-4_11

W. Group, Web services choreography description language version 1.0, 2004.

N. Yoshida, R. Hu, R. Neykova, and N. Ng, The Scribble Protocol Language, Lecture Notes in Computer Science, vol.8358, pp.22-41, 2013.
DOI : 10.1007/978-3-319-05119-2_3