G. Anderson and J. Rathke, Dynamic Software Update for Message Passing Programs, APLAS, pp.207-222, 2012.
DOI : 10.1007/978-3-642-35182-2_15

J. W. Backus, The syntax and semantics of the proposed international algebraic language of the zurich ACM-GAMM conference, IFIP Congress, pp.125-131, 1959.

L. Baresi, A. Marconi, M. Pistore, and A. Sirbu, Corrective Evolution of Adaptable Process Models, BMMDS/EMMSAD, pp.214-229, 2013.
DOI : 10.1007/978-3-642-38484-4_16

S. Basu, T. Bultan, and M. Ouederni, Deciding choreography realizability, POPL, pp.191-202, 2012.
DOI : 10.1145/2103656.2103680

G. Berry and M. Serrano, Hop and HipHop: Multitier Web Orchestration, ICDCIT, pp.1-13, 2014.
DOI : 10.1007/978-3-319-04483-5_1
URL : https://hal.archives-ouvertes.fr/hal-00911782

M. Bravetti, Towards Global and Local Types for Adaptation, SEFM Workshops, pp.3-14, 2013.
DOI : 10.1007/978-3-319-05032-4_1
URL : https://hal.archives-ouvertes.fr/hal-01089358

A. Bucchiarone, A. Marconi, C. A. Mezzina, M. Pistore, and H. Raik, On-the-Fly Adaptation of Dynamic Service-Based Systems: Incrementality, Reduction and Reuse, ICSOC, pp.146-161, 2013.
DOI : 10.1007/978-3-642-45005-1_11

S. Capecchi, E. Giachino, and N. Yoshida, Global escape in multiparty sessions, Proc. of FSTTCS 2010, pp.338-351, 2010.
DOI : 10.1007/978-3-540-78739-6_21
URL : https://hal.archives-ouvertes.fr/hal-00909314

M. Carbone, K. Honda, and N. Yoshida, Structured Communication-Centred Programming for Web Services, ESOP, pp.2-17, 2007.
DOI : 10.1007/978-3-540-71316-6_2
URL : http://www.dcs.qmul.ac.uk/~carbonem/cdlpaper/esop2007.pdf

M. Carbone, K. Honda, and N. Yoshida, Structured Interactional Exceptions in Session Types, Proc. of CONCUR'08, pp.402-417, 2008.
DOI : 10.1007/978-3-540-85361-9_32
URL : http://www.eecs.qmul.ac.uk/~carbonem/exception/exceptionfull.pdf

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.
DOI : 10.1145/2429069.2429101
URL : https://hal.archives-ouvertes.fr/hal-00909320

G. Castagna, M. Dezani-ciancaglini, and L. Padovani, On global types and multi-party session, Logical Methods in Computer Science, vol.8, issue.1, p.2012
DOI : 10.2168/lmcs-8(1:24)2012
URL : https://lmcs.episciences.org/773/pdf

E. Cooper, S. Lindley, P. Wadler, and J. Yallop, Links: Web Programming Without Tiers, FMCO, pp.266-296, 2006.
DOI : 10.1007/978-3-540-74792-5_12
URL : http://homepages.inf.ed.ac.uk/slindley/papers/links-fmco06.pdf

M. Coppo, M. Dezani-ciancaglini, and B. Venneri, Self-adaptive multiparty sessions, Service Oriented Computing and Applications, vol.7, issue.3, pp.3-4249, 2015.
DOI : 10.1007/978-3-642-01918-0_4

G. Cugola, C. Ghezzi, and L. S. Pinto, DSOL: a declarative approach to self-adaptive service orchestrations, Computing, vol.174, issue.3???4, pp.579-617, 2012.
DOI : 10.1016/j.artint.2009.12.002

M. D. Preda, M. Gabbrielli, S. Giallorenzo, I. Lanese, and J. Mauro, Dynamic choreographies -safe runtime updates of distributed applications, In COORDINATION LNCS, vol.9037, pp.67-82, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01227612

M. D. Preda, S. Giallorenzo, I. Lanese, J. Mauro, and M. Gabbrielli, AIOCJ: A choreographic framework for safe adaptive distributed applications, SLE, pp.161-170, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01089187

D. Giusto and J. A. Pérez, Disciplined structured communications with consistent runtime adaptation, Proceedings of the 28th Annual ACM Symposium on Applied Computing, SAC '13, pp.1913-1918, 2013.
DOI : 10.1145/2480362.2480716

C. Ghezzi, M. Pradella, and G. Salvaneschi, An evaluation of the adaptation capabilities in programming languages, Proceeding of the 6th international symposium on Software engineering for adaptive and self-managing systems, SEAMS '11, pp.50-59, 2011.
DOI : 10.1145/1988008.1988016

R. Hirschfeld, P. Costanza, and O. Nierstrasz, Context-oriented Programming., The Journal of Object Technology, vol.7, issue.3, pp.125-151, 2008.
DOI : 10.5381/jot.2008.7.3.a4

K. Honda, N. Yoshida, and M. Carbone, Multiparty Asynchronous Session Types, POPL, pp.273-284, 2008.
DOI : 10.1145/1328438.1328472

I. Jureta, S. Faulkner, and P. Thiran, Dynamic Requirements Specification for Adaptable and Open Service-Oriented Systems, In ICSOC LNCS, vol.4749, pp.270-282, 2007.
DOI : 10.1007/978-3-540-74974-5_22
URL : http://www.jureta.net/papers/ICSOC07.pdf

J. O. Kephart and D. M. Chess, The vision of autonomic computing, Computer, vol.36, issue.1, pp.41-50, 2003.
DOI : 10.1109/MC.2003.1160055

I. Lanese, A. Bucchiarone, and F. Montesi, A Framework for Rule-Based Dynamic Adaptation, TGC, pp.284-300, 2010.
DOI : 10.1109/FOSE.2007.21

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. Montesi, and G. Zavattaro, Amending Choreographies, WWV, pp.34-48, 2013.
DOI : 10.1145/1242572.1242704
URL : https://hal.archives-ouvertes.fr/hal-00909305

L. A. Leite, A systematic literature review of service choreography adaptation, Service Oriented Computing and Applications, pp.199-216, 2013.
DOI : 10.1109/TSE.2004.11

C. Metz, The epic story of dropbox's exodus from the amazon cloud empire. Wired

F. Montesi, Kickstarting Choreographic Programming, WS-FM, pp.3-10, 2015.
DOI : 10.1007/978-3-319-33612-1_1

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://www.cs.unibo.it/~cguidi/Publications/ecows07.pdf

F. Montesi, C. Guidi, and G. Zavattaro, Service-Oriented Programming with Jolie, Web Services Foundations, pp.81-107, 2014.
DOI : 10.1007/978-1-4614-7518-7_4
URL : https://hal.archives-ouvertes.fr/hal-00909323

F. Montesi and N. Yoshida, Compositional Choreographies, In CONCUR LNCS, vol.8052, pp.425-439, 2013.
DOI : 10.1007/978-3-642-40184-8_30
URL : https://hal.archives-ouvertes.fr/hal-00909321

I. Neamtiu and M. W. Hicks, Safe and timely updates to multi-threaded programs, PLDI, pp.13-24, 2009.
DOI : 10.1145/1542476.1542479

M. Neubauer and P. Thiemann, From sequential programs to multi-tier applications by program transformation, POPL, pp.221-232, 2005.
DOI : 10.1145/1040305.1040324
URL : http://www.informatik.uni-freiburg.de/~neubauer/papers/popl05.ps.gz

M. Neubauer and P. Thiemann, Placement Inference for a Client-Server Calculus, ICALP, pp.75-86, 2008.
DOI : 10.1007/978-3-540-70583-3_7

P. Nienaltowski, Practical framework for contract-based concurrent object-oriented programming, 2007.

R. Pawlak, JAC: an aspect-based distributed dynamic framework. Software: Practice and Experience, pp.1119-1148, 2004.
DOI : 10.1002/spe.605
URL : https://hal.archives-ouvertes.fr/inria-00000042

S. Rinderle, A. Wombacher, and M. Reichert, Evolution of Process Choreographies in DYCHOR, OTM Conferences, pp.273-290, 2006.
DOI : 10.1007/11914853_17

G. Salaün, T. Bultan, and N. Roohi, Realizability of Choreographies Using Process Algebra Encodings, IEEE Transactions on Services Computing, vol.5, issue.3, pp.290-304, 2012.
DOI : 10.1109/TSC.2011.9

D. Sangiorgi and D. Walker, The pi-calculus: a Theory of Mobile Processes, 2003.

A. Wombacher, Alignment of Choreography Changes in BPEL Processes, 2009 IEEE International Conference on Services Computing, pp.1-8, 2009.
DOI : 10.1109/SCC.2009.11

Z. Yang, B. H. Cheng, R. E. Stirewalt, J. Sowell, S. M. Sadjadi et al., An aspect-oriented approach to dynamic adaptation, Proceedings of the first workshop on Self-healing systems , WOSS '02, pp.85-92, 2002.
DOI : 10.1145/582128.582144
URL : http://www.cs.fiu.edu/~sadjadi/Publications/woss-02.pdf

S. Yegulalp, Mozilla's Rust-based Servo browser engine inches forward. InfoWorld