Roberto Di Cosmo, Michael Lienhardt, Jacopo Mauro, Stefano Zacchiroli, Gianluigi Zavattaro, et al.. Automatic Application Deployment in the Cloud: from Practice to Theory and Back .
Proceedings of 26th International Conference on Concurrency Theory (CONCUR 2015), Sep 2015, Madrid, Spain. pp.1--16,
⟨10.4230/LIPIcs.CONCUR.2015.1⟩.
⟨hal-01233426⟩