P. Abate, D. Cosmo, R. Treinen, R. Zacchiroli, and S. , Dependency solving: A separate concern in component evolution management, Journal of Systems and Software, vol.85, issue.10, pp.2228-2240, 2012.
DOI : 10.1016/j.jss.2012.02.018

P. A. Abdulla, K. Cerans, B. Jonsson, and Y. K. Tsay, General decidability theorems for infinitestate systems, LICS. pp. IEEE, pp.313-321, 1996.

E. Clayberg and D. Rubel, Eclipse Plug-ins, 2008.

D. Cosmo, R. Mauro, J. Zacchiroli, S. Zavattaro, and G. , Component Reconfiguration in the Presence of Conflicts, ICALP 2013: 40th International Colloquium on Automate, Languages and Programming, 2013.
DOI : 10.1007/978-3-642-39212-2_19

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

D. Cosmo, R. Trezentos, P. Zacchiroli, and S. , Package upgrades in FOSS distributions, Proceedings of the 1st International Workshop on Hot Topics in Software Upgrades, HotSWUp '08, p.8, 2008.
DOI : 10.1145/1490283.1490292

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

D. Cosmo, R. Zacchiroli, S. Zavattaro, and G. , Towards a Formal Component Model for the Cloud, SEFM 2012, pp.156-171, 2012.
DOI : 10.1007/978-3-642-33826-7_11

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

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

A. Finkel and P. Schnoebelen, Well-structured transition systems everywhere! Theoretical Computer Science, pp.63-92, 2001.
DOI : 10.1016/s0304-3975(00)00102-x

URL : http://doi.org/10.1016/s0304-3975(00)00102-x

J. Fischer, R. Majumdar, and S. Esmaeilsabzali, Engage: a deployment management system. In: 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.

R. J. Lipton, The Reachability Problem Requires Exponential Space, Research report, vol.62, 1976.

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