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

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. Gößler and J. Sifakis, Component-Based Construction of Deadlock-Free Systems, FSTTCS, pp.420-433, 2003.
DOI : 10.1007/978-3-540-24597-1_36

M. Naik, C. Park, K. Sen, and D. Gay, Effective static deadlock detection, 2009 IEEE 31st International Conference on Software Engineering, pp.386-396, 2009.
DOI : 10.1109/ICSE.2009.5070538

I. Lanese, A. Bucchiarone, and F. Montesi, A Framework for Rule-Based Dynamic Adaptation, TGC, pp.284-300, 2010.
DOI : 10.1007/978-3-642-15640-3_19

A. Bucchiarone, A. Marconi, M. Pistore, and H. Raik, Dynamic Adaptation of Fragment-Based and Context-Aware Business Processes, 2012 IEEE 19th International Conference on Web Services, pp.33-41, 2012.
DOI : 10.1109/ICWS.2012.56

W. Chen, M. A. Hiltunen, and R. D. Schlichting, Constructing Adaptive Software in Distributed Systems, ICDCS, pp.635-643, 2001.

J. Zhang, H. Goldsby, and B. H. Cheng, Modular verification of dynamically adaptive systems, Proceedings of the 8th ACM international conference on Aspect-oriented software development, AOSD '09, pp.161-172, 2009.
DOI : 10.1145/1509239.1509262

M. D. Preda, M. Gabbrielli, S. Giallorenzo, I. Lanese, and J. Mauro, Deadlock Freedom by Construction for Distributed Adaptative Applications

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

I. Lanese, C. Guidi, F. Montesi, and G. Zavattaro, Bridging the Gap between Interactionand Process-Oriented Choreographies, SEFM, pp.323-332, 2008.

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

M. D. Preda, S. Giallorenzo, I. Lanese, J. Mauro, and M. Gabbrielli, AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications
URL : https://hal.archives-ouvertes.fr/hal-01089187

I. Lanese, F. Montesi, and G. Zavattaro, Amending Choreographies, WWV, pp.34-48, 2013.
DOI : 10.4204/EPTCS.123.5

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

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

L. A. Leite, A systematic literature review of service choreography adaptation, Service Oriented Computing and Applications, pp.199-216, 2013.
DOI : 10.1007/s11761-012-0125-z

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

S. Rinderle, A. Wombacher, and M. Reichert, Evolution of Process Choreographies in DY- CHOR, OTM Conferences, pp.273-290, 2006.

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

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.1007/s00607-012-0194-z

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

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

R. Pawlak, JAC: an aspect-based distributed dynamic framework, Software: Practice and Experience, vol.34, issue.12, pp.1119-1148, 2004.
DOI : 10.1002/spe.605

URL : https://hal.archives-ouvertes.fr/inria-00000042

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

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

B. Weber, S. Rinderle, and M. Reichert, Change Patterns and Change Support Features in Process-Aware Information Systems, CAiSE, pp.381-395, 2013.

F. Casati, S. Ceri, B. Pernici, and G. Pozzi, Workflow evolution, Data & Knowledge Engineering, vol.24, issue.3, pp.211-238, 1998.
DOI : 10.1016/S0169-023X(97)00033-5