R. Abid, G. Salaün, F. Bongiovanni, and N. Palma, Verification of a Dynamic Management Protocol for Cloud Applications, Proc. of ATVA'13, pp.178-192, 2013.
DOI : 10.1007/978-3-319-02444-8_14
URL : https://hal.archives-ouvertes.fr/hal-00863262

R. Abid, G. Salaün, N. D. Palma, and S. Mak-karé-gueye, Asynchronous Coordination of Stateful Autonomic Managers in the Cloud
DOI : 10.1007/978-3-319-28934-2_3
URL : https://hal.archives-ouvertes.fr/hal-01245754

L. Akroun, G. Salaün, and L. Ye, Automated Analysis of Asynchronously Communicating Systems, Proc. of SPIN'16, pp.1-18, 2016.
DOI : 10.1007/978-3-319-32582-8_1
URL : https://hal.archives-ouvertes.fr/hal-01280164

F. Baude, L. Henrio, and C. Ruz, Programming distributed and adaptable autonomous components-the GCM/ProActive framework, Software: Practice and Experience, vol.24, issue.13, pp.1189-1227, 2015.
DOI : 10.1002/cpe.2822
URL : https://hal.archives-ouvertes.fr/hal-01001043

D. Brand and P. Zafiropulo, On Communicating Finite-State Machines, Journal of the ACM, vol.30, issue.2, pp.323-342, 1983.
DOI : 10.1145/322374.322380

A. Brogi, A. Canciani, J. Soldani, and P. Wang, Modelling the Behaviour of Management Operations in Cloud-based Applications, Proc. of PNSE'15, volume 1372 of CEUR Workshop Proceedings, pp.191-205, 2015.

E. M. Clarke, W. Klieber, M. Novek, and P. Zuliani, Model Checking and the State Explosion Problem, Tools for Practical Software Verification, 2012.
DOI : 10.2140/pjm.1955.5.285
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.261.3888

R. Di-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

G. Delaval, S. M. Gueye, E. Rutten, and N. Palma, Modular coordination of multiple autonomic managers, Proceedings of the 17th international ACM Sigsoft symposium on Component-based software engineering, CBSE '14, pp.3-12, 2014.
DOI : 10.1145/2602458.2602465
URL : https://hal.archives-ouvertes.fr/hal-01006106

G. Delaval, H. Marchand, and E. Rutten, Contracts for Modular Discrete Controller Synthesis, Proc. of LCTES'10, pp.57-66, 2010.
DOI : 10.1145/1755951.1755898
URL : https://hal.archives-ouvertes.fr/inria-00476910

F. Durán and G. Salaün, Robust and reliable reconfiguration of cloud applications, Journal of Systems and Software, vol.122, pp.524-537, 2016.
DOI : 10.1016/j.jss.2015.09.020

X. Etchevers, G. Salaün, F. Boyer, T. Coupaye, and N. Palma, Reliable self-deployment of cloud applications, Proceedings of the 29th Annual ACM Symposium on Applied Computing, SAC '14, pp.1331-1338, 2014.
DOI : 10.1145/2554850.2554951
URL : https://hal.archives-ouvertes.fr/hal-00934042

J. Fischer, R. Majumdar, and S. Esmaeilsabzali, Engage: A Deployment Management System, Proc. of PLDI'12, pp.263-274, 2012.

H. Garavel, F. Lang, R. Mateescu, and W. Serwe, CADP 2011: a toolbox for the construction and analysis of distributed processes, International Journal on Software Tools for Technology Transfer, vol.1, issue.1/2, pp.89-107, 2013.
DOI : 10.1007/s100090050009
URL : https://hal.archives-ouvertes.fr/hal-00715056

S. M. Gueye, N. De-palma, E. Rutten, and A. Tchana, Coordinating multiple administration loops using discrete control, ACM SIGOPS Operating Systems Review, vol.47, issue.3, pp.18-25, 2013.
DOI : 10.1145/2553070.2553074
URL : https://hal.archives-ouvertes.fr/hal-00949555

S. M. Gueye, E. Rutten, and A. Tchana, Discrete Control for the Coordination of Administration Loops, 2012 IEEE Fifth International Conference on Utility and Cloud Computing, pp.353-358, 2012.
DOI : 10.1109/UCC.2012.57

C. A. Hoare, J. E. Hopcroft, and J. D. Ullman, Communicating Sequential Processes, 1985.
DOI : 10.1145/357980.358021

C. Krause, Z. Maraikar, A. Lazovik, and F. Arbab, Modeling dynamic reconfigurations in Reo using high-level replacement systems, Science of Computer Programming, vol.76, issue.1, pp.23-36, 2011.
DOI : 10.1016/j.scico.2009.10.006
URL : https://doi.org/10.1016/j.scico.2009.10.006

R. Mateescu and D. Thivolle, A Model Checking Language for Concurrent Value-Passing Systems, Proc. of FM'08, pp.148-164, 2008.
DOI : 10.1007/978-3-540-68237-0_12
URL : https://hal.archives-ouvertes.fr/inria-00315312

R. Milner, Communication and concurrency, 1989.

F. A. De-oliveira, T. Ledoux, and R. Sharrock, A Framework for the Coordination of Multiple Autonomic Managers in Cloud Environments, 2013 IEEE 7th International Conference on Self-Adaptive and Self-Organizing Systems
DOI : 10.1109/SASO.2013.27
URL : https://hal.archives-ouvertes.fr/hal-00839090

F. A. De-oliveira, R. Sharrock, and T. Ledoux, Synchronization of Multiple Autonomic Control Loops: Application to Cloud Computing
DOI : 10.1007/978-3-642-30829-1_3
URL : https://hal.archives-ouvertes.fr/hal-00682914

M. Parashar, H. Liu, Z. Li, V. Matossian, C. Schmidt et al., AutoMate: Enabling Autonomic Applications on the Grid, Cluster Computing, vol.45, issue.8???9, pp.161-174, 2006.
DOI : 10.1007/s10586-006-7561-5

P. J. Ramadge and W. M. Wonham, The control of discrete event systems, Proc of the IEEE, pp.81-98, 1989.
DOI : 10.1109/5.21072

A. B. Seboui, N. B. Hadj-alouane, G. Delaval, ´. E. Rutten, and M. Yeddes, An approach for the synthesis of decentralised supervisors for distributed adaptive systems, International Journal of Critical Computer-Based Systems, vol.2, issue.3/4, pp.246-265, 2011.
DOI : 10.1504/IJCCBS.2011.042328
URL : https://hal.archives-ouvertes.fr/hal-00784991

W. M. Wonham and P. J. Ramadge, On the Supremal Controllable Sublanguage of a Given Language, SIAM Journal on Control and Optimization, vol.25, issue.3, pp.637-659, 1987.
DOI : 10.1137/0325036