F. Montesi, Kickstarting choreographic programming, WS-FM, p.310, 2015.

M. Preda, M. Gabbrielli, S. Giallorenzo, I. Lanese, and J. Mauro, Dynamic choreographies: Theory and implementation, Logical Methods in Computer Science, vol.13, issue.2, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01631394

S. Lu, S. Park, E. Seo, and Y. Zhou, Learning from mistakes: a comprehensive study on real world concurrency bug characteristics, ASPLOS, p.329339, 2008.

J. Humble and D. Farley, Continuous Delivery: Reliable Software Releases through Build, Test, and Deployment Automation, 2010.

M. Gabbrielli, S. Giallorenzo, C. Guidi, J. Mauro, and F. Montesi, Selfreconguring microservices, in Theory and Practice of Formal Methods -Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday, 2016.

M. Bravetti, S. Giallorenzo, J. Mauro, I. Talevi, and G. Zavattaro, Optimal and automated deployment for microservices, FASE, p.351368, 2019.

. Aiocj-website,

, Handbook of Process Algebra, 2001.

F. Montesi, C. Guidi, and G. Zavattaro, Service-oriented programming with Jolie, in Web Services Foundations, p.81107, 2014.

N. Dragoni, S. Giallorenzo, A. Lluch-lafuente, M. Mazzara, F. Montesi et al., Microservices: Yesterday, today, and tomorrow, Present and Ulterior Software Engineering, p.195216, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01631455

S. Giallorenzo, I. Lanese, and D. Russo, Chip: A choreographic integration process, On the Move to Meaningful Internet Systems. OTM 2018 Conferences -Confederated International Conferences: CoopIS, C&TC, and ODBASE 2018, p.2240, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01912917

S. Giallorenzo, I. Lanese, J. Mauro, and M. Gabbrielli, Programming adaptive microservice applications: An AIOCJ tutorial, Behavioural Types: from Theory to Tools, p.147167, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01631422

A. Bucchiarone, A. Marconi, M. Pistore, and H. Raik, Dynamic Adaptation of Fragment-Based and Context-Aware Business Processes, ICWS, p.3341, 2012.

W. Chen, M. A. Hiltunen, and R. D. Schlichting, Constructing Adaptive Software in Distributed Systems, ICDCS, vol.6084, p.635643, 2001.

C. Ghezzi, M. Pradella, and G. Salvaneschi, An evaluation of the adaptation capabilities in programming languages, SEAMS, p.5059, 2011.

I. Lanese, A. Bucchiarone, and F. Montesi, A Framework for Rule-Based Dynamic Adaptation, TGC, vol.6084, p.284300, 2010.

J. Zhang, H. Goldsby, and B. H. Cheng, Modular Verication of Dynamically Adaptive Systems, AOSD, p.161172, 2009.

L. A. Leite, A systematic literature review of service choreography adaptation, Service Oriented Computing and Applications, vol.7, issue.3, 2013.

M. Carbone, K. Honda, and N. Yoshida, Structured communication-centered programming for web services, ACM Trans. Program. Lang. Syst, vol.34, issue.2, p.8, 2012.

M. Carbone and F. Montesi, Deadlock-Freedom-by-Design: Multiparty Asynchronous Global Programming, POPL, p.263274, 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, 2012.

K. Honda, N. Yoshida, and M. Carbone, Multiparty Asynchronous Session Types, p.273284, 2008.

S. Basu, T. Bultan, and M. Ouederni, Deciding choreography realizability, POPL, 2012.

I. Lanese, C. Guidi, F. Montesi, and G. Zavattaro, Bridging the Gap between Interaction-and Process-Oriented Choreographies, SEFM, p.323332, 2008.

M. Bravetti and G. Zavattaro, Towards a unifying theory for choreography conformance and contract compliance, SC, vol.4829, p.3450, 2007.

J. A. Bergstra and P. Klint, The discrete time TOOLBUS -A software coordination architecture, Sci. Comput. Program, vol.31, issue.2-3, p.205229, 1998.

M. Coppo, M. Dezani-ciancaglini, and B. Venneri, Self-adaptive multiparty sessions, Service Oriented Computing and Applications, vol.9, issue.3-4, p.249268, 2015.

C. , D. Giusto, and J. A. Pérez, Event-based run-time adaptation in communicationcentric systems, Formal Asp. Comput, vol.28, issue.4, p.531566, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01320789

G. Anderson and J. Rathke, Dynamic software update for message passing programs, APLAS, vol.7705, p.207222, 2012.

F. Montesi and N. Yoshida, Compositional choreographies, in CONCUR, vol.8052, p.425439, 2013.