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

R. D. , C. , J. Mauro, S. Zacchiroli, and G. Zavattaro, Aeolus: A component model for the cloud, Inf. Comput, vol.239, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01091062

S. Frank, M. M. De-boer, C. Jaghoori, G. Laneve, and . Zavattaro, Decidability problems for actor systems, Logical Methods in Computer Science, vol.10, issue.4, p.2014

S. Frank, C. De-boer, and . Palamidessi, Embedding as a tool for language comparison, Inf. Comput, vol.108, issue.1, pp.128-157, 1994.

R. D. , C. , J. Mauro, S. Zacchiroli, and G. Zavattaro, Component Reconfiguration in the Presence of Conflicts, ICALP, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00909336

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

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

T. A. Lascu, J. Mauro, and G. Zavattaro, Automatic Component Deployment in the Presence of Circular Dependencies, FACS, 2013.
DOI : 10.1007/978-3-319-07602-7_16
URL : https://hal.archives-ouvertes.fr/hal-00909300

J. Mauro and G. Zavattaro, On the Complexity of Reconfiguration in Systems with Legacy Components, MFCS, 2015.
DOI : 10.1007/978-3-662-48057-1_30
URL : https://hal.archives-ouvertes.fr/hal-01160369

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

P. Schnoebelen, Revisiting Ackermann-Hardness for Lossy Counter Machines and Reset Petri Nets, MFCS, 2010.
DOI : 10.1007/978-3-642-15155-2_54