P. Abate and S. Johannes, Bootstrapping software distributions, Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering, CBSE '13, pp.131-142, 2013.
DOI : 10.1145/2465449.2465461

F. Achermann and O. Nierstrasz, A calculus for reasoning about software composition, Theoretical Computer Science, vol.331, issue.2-3, pp.367-396, 2005.
DOI : 10.1016/j.tcs.2004.09.022

E. Bruneton, T. Coupaye, M. Leclercq, V. Quéma, and J. Stefani, The FRAC- TAL Component Model and its Support in Java. Softw., Pract. Exper, pp.11-121257, 2006.

M. Bundgaard, T. T. Hildebrandt, and J. C. Godskesen, A CPS encoding of name-passing in Higher-order mobile embedded resources, Theoretical Computer Science, vol.356, issue.3, pp.422-439, 2006.
DOI : 10.1016/j.tcs.2006.02.006

M. Burgess, A Site Configuration Engine, Computing Systems, vol.8, issue.2, pp.309-337, 1995.

D. Alfaro and T. A. Henzinger, Interface automata, ACM SIGSOFT Software Engineering Notes, vol.26, issue.5, pp.109-120, 2001.
DOI : 10.1145/503271.503226

R. , D. Cosmo, M. Lienhardt, R. Treinen, S. Zacchiroli et al., Optimal Provisioning in the Cloud, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00831455

R. Di-cosmo, J. Mauro, S. Zacchiroli, and G. Zavattaro, Component Reconfiguration in the Presence of Conflicts, ICALP 2013: 40th International Colloquium on Automata, Languages and Programming, pp.187-198, 2013.
DOI : 10.1007/978-3-642-39212-2_19
URL : https://hal.archives-ouvertes.fr/hal-00909336

R. , D. Cosmo, S. Zacchiroli, and G. Zavattaro, Towards a Formal Component Model for the Cloud, SEFM 2012: 10th International Conference on Software Engineering and Formal Methods, pp.156-171, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00909369

J. Fischer, R. Majumdar, and S. Esmaeilsabzali, Engage: A Deployment Management System, PLDI'12: Programming Language Design and Implementation, pp.263-274, 2012.

J. A. Hewson, P. Anderson, and A. D. Gordon, A Declarative Approach to Automated Configuration, LISA '12: Large Installation System Administration Conference, pp.51-66, 2012.

L. Kanies, Puppet: Next-generation configuration management. ;login: the USENIX magazine, pp.19-25, 2006.

K. G. Larsen, U. Nyman, and A. Wasowski, Interface Input/Output Automata, FM'06, pp.82-97, 2006.
DOI : 10.1007/11813040_7
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.86.4057

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
DOI : 10.1109/ICTAI.2013.41
URL : https://hal.archives-ouvertes.fr/hal-00843925

F. Montesi and D. Sangiorgi, A Model of Evolvable Components, Trustworthy Global Computing, pp.153-171, 2010.
DOI : 10.1007/978-3-642-15640-3_11

. Opscode and . Chef, Puppet Labs. Marionette Collective, 2013.

A. Schmitt and J. Stefani, The Kell Calculus: A Family of Higher-Order Distributed Process Calculi, Global Computing, pp.146-178, 2004.
DOI : 10.1007/3-540-45694-5_19

L. Seinturier, P. Merle, D. Fournier, N. Dolet, V. Schiavoni et al., Reconfigurable SCA Applications with the FraSCAti Platform, 2009 IEEE International Conference on Services Computing, pp.268-275, 2009.
DOI : 10.1109/SCC.2009.27
URL : https://hal.archives-ouvertes.fr/inria-00397856

. Vmware, Cloud Foundry, deploy & scale your applications in seconds, 2013.