Marcello M. Bersani, Domenico Bianculli, Schahram Dustdar, Alessio Gambi, Carlo Ghezzi, Srdan Krstic. Towards the formalization of properties of cloud-based elastic systems. In Muhammad Ali Babar, Hye-Young Paik, Malolan Chetlur, Michael Bauer, editors, Proceedings of the 6th International Workshop on Principles of Engineering Service-Oriented and Cloud Systems, PESOS 2014, Hyderabad, India, May 31, 2014. pages 38-47, ACM, 2014. [doi]
Abstract is missing.