Rim Abid, Gwen Salaün, Noel de Palma, Soguy Mak-Karé Gueye. Asynchronous Coordination of Stateful Autonomic Managers in the Cloud.
12th International Symposium on Formal Aspects of Components and Systems FACS'2015, Oct 2015, Niterói, Rio de Janeiro, Brazil.
⟨hal-01245754⟩