. Amazon, AWS CloudFormation. https://aws.amazon.com/cloudformation, 2016.

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

R. D. Cosmo, M. Lienhardt, J. Mauro, S. Zacchiroli, G. Zavattaro et al., Automatic Application Deployment in the Cloud: from Practice to Theory and Back, Schloss Dagstuhl -Leibniz-Zentrum fuer Informatik, pp.1-16, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01233426

R. D. Cosmo, M. Lienhardt, R. Treinen, S. Zacchiroli, J. Zwolakowski et al., Automated synthesis and deployment of cloud applications, Proceedings of the 29th ACM/IEEE international conference on Automated software engineering, ASE '14, pp.211-222, 2014.
DOI : 10.1145/2642937.2642980

R. D. Cosmo, J. Mauro, S. Zacchiroli, and G. Zavattaro, Aeolus: A component model for the cloud, Information and Computation, vol.239, pp.100-121, 2014.
DOI : 10.1016/j.ic.2014.11.002
URL : https://hal.archives-ouvertes.fr/hal-01091062

F. S. De-boer and S. De-gouw, Combining Monitoring with Run-Time Assertion Checking, SFM, pp.217-262, 2014.
DOI : 10.1023/A:1022920129859

S. De-gouw, M. Lienhardt, J. Mauro, B. Nobakht, and G. Zavattaro, On the Integration of Automatic Deployment into the ABS Modeling Language, ESOCC, pp.49-64, 2015.
DOI : 10.1007/978-3-319-24072-5_4
URL : https://hal.archives-ouvertes.fr/hal-01233474

R. , D. Cosmo, A. Eiche, J. Mauro, G. Zavattaro et al., Automatic Deployment of Software Components in the Cloud with the Aeolus Blender, ICSOC, pp.397-411, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01103806

M. J. Fischer, N. A. Lynch, and M. S. Paterson, Impossibility of distributed consensus with one faulty process, Last retrieved, pp.374-382, 1985.

M. Gabbrielli, S. Giallorenzo, and F. Montesi, Applied choreographies. CoRR, abs, 1510.

D. Georgakopoulos and M. P. Papazoglou, Service-Oriented Computing, 2008.

C. Hewitt, P. Bishop, and R. Steiger, A universal modular ACTOR formalism for artificial intelligence, IJCAI, pp.235-245, 1973.

L. Lamport, Paxos made simple, ACM Sigact News, vol.32, issue.4, pp.18-25, 2001.

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

T. A. Lascu, J. Mauro, and G. Zavattaro, A Planning Tool Supporting the Deployment of Cloud Applications, 2013 IEEE 25th International Conference on Tools with Artificial Intelligence, pp.213-220, 2013.
DOI : 10.1109/ICTAI.2013.41
URL : https://hal.archives-ouvertes.fr/hal-00843925

J. Mauro and G. Zavattaro, On the Complexity of Reconfiguration in Systems with Legacy Components 27. F. Montesi. Hack your way through the microservices revolution, MFCS, pp.382-393, 2015.

F. Montesi, JOLIE: a Service-oriented Programming Language, 2010.

F. Montesi and M. Carbone, Programming Services with Correlation Sets, ICSOC, pp.125-141, 2011.
DOI : 10.1007/978-3-540-68265-3_13

F. Montesi, C. Guidi, R. Lucchi, and G. Zavattaro, JOLIE: a Java Orchestration Language Interpreter Engine, Electronic Notes in Theoretical Computer Science, vol.181, pp.19-33, 2007.
DOI : 10.1016/j.entcs.2007.01.051

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

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 http://martinfowler.com/bliki/ ImmutableServer.html, 2013. Last retrieved Adopting microservices at netflix: Lessons for architectural design, In CONCUR LNCS Netflix. Building with legos, vol.8052, issue.35, pp.425-439, 2013.

B. Nobakht, S. De-gouw, and F. S. De-boer, Formal Verification of Service Level Agreements Through Distributed Monitoring, ESOCC, pp.125-140, 2015.
DOI : 10.1007/978-3-319-24072-5_9

B. Oasis, Web services business process execution language, 2007.

D. Ongaro and J. Ousterhout, In search of an understandable consensus algorithm, USENIX, pp.305-320, 2014.

M. D. Preda, M. Gabbrielli, S. Giallorenzo, I. Lanese, and J. Mauro, Dynamic Choreographies -Safe Runtime Updates of Distributed Applications, In COOR- DINATION, 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