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

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

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

E. Bruneton, T. Coupaye, M. Leclercq, V. Quéma, and J. Stefani, The FRACTAL component model and its support in Java, Software: Practice and Experience, vol.6, issue.11-12, pp.11-12, 2006.
DOI : 10.1002/spe.767

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

P. Abate, R. Di-cosmo, R. Treinen, and S. Zacchiroli, MPM, Proceedings of the 14th international ACM Sigsoft symposium on Component based software engineering, CBSE '11, pp.179-188, 2011.
DOI : 10.1145/2000229.2000255
URL : https://hal.archives-ouvertes.fr/inria-00626546

K. Schmid and A. Rummler, Cloud-based software product lines, Proceedings of the 16th International Software Product Line Conference on, SPLC '12 -volume 1, pp.164-170, 2012.
DOI : 10.1145/2364412.2364440

R. , D. Cosmo, P. Trezentos, and S. Zacchiroli, Package upgrades in FOSS distributions: Details and challenges, in: HotSWup'08, 2008.

K. Lau and Z. Wang, Software Component Models, IEEE Transactions on Software Engineering, vol.33, issue.10, pp.709-724, 2007.
DOI : 10.1109/TSE.2007.70726

M. Minsky, Computation: finite and infinite machines, 1967.

P. A. Abdulla, K. Cerans, B. Jonsson, and Y. Tsay, General decidability theorems for infinite-state systems, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science, pp.313-321, 1996.
DOI : 10.1109/LICS.1996.561359

A. Finkel and P. Schnoebelen, Well-structured transition systems everywhere!, Theoretical Computer Science, vol.256, issue.1-2, pp.63-92, 2001.
DOI : 10.1016/S0304-3975(00)00102-X

L. E. Dickson, Finiteness of the Odd Perfect and Primitive Abundant Numbers with n Distinct Prime Factors, American Journal of Mathematics, vol.35, issue.4, pp.413-422, 1913.
DOI : 10.2307/2370405

P. Schnoebelen, Revisiting Ackermann-Hardness for Lossy Counter Machines and Reset Petri Nets, Lecture Notes in Computer Science, vol.6281, pp.616-628, 2010.
DOI : 10.1007/978-3-642-15155-2_54

C. A. Petri, Kommunikation mit Automaten, 1962.

C. Rackoff, The covering and boundedness problems for vector addition systems, Theoretical Computer Science, vol.6, issue.2, pp.223-231, 1978.
DOI : 10.1016/0304-3975(78)90036-1

R. Milner, J. Parrow, and D. Walker, A calculus of mobile processes, II, Information and Computation, vol.100, issue.1, pp.1-77, 1992.
DOI : 10.1016/0890-5401(92)90009-5

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

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

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

F. Montesi and D. Sangiorgi, A Model of Evolvable Components, Lecture Notes in Computer Science, vol.6084, pp.153-171, 2010.
DOI : 10.1007/978-3-642-15640-3_11

P. Goldsack, P. Murray, A. Farrell, and P. Toft, SmartFrog and Data Centre Automation, Tech. rep., Microsoft Research, 2008.

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

T. A. Lascu, J. Mauro, and G. Zavattaro, Automatic Component Deployment in the Presence of Circular Dependencies, The 10th International Symposium on Formal Aspects of Component Software, 2013.
DOI : 10.1007/978-3-319-07602-7_16
URL : https://hal.archives-ouvertes.fr/hal-00909300

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

H. Herry, P. Anderson, and G. Wickler, Automated Planning for Configuration Changes, 2011.

H. Herry and P. Anderson, Planning with Global Constraints for Computing Infrastructure Reconfiguration, CP4PS-12 -The AAAI-12 Workshop on Problem Solving using Classical Planners, 2012.

J. Fischer, R. Majumdar, and S. Esmaeilsabzali, Engage: a deployment management system, in: PLDI'12: Programming Language Design and Implementation, pp.263-274, 2012.