Addressing Client Needs for Cloud Computing using Formal Foundations

Andreea Buga, Sorana Tania Nemes, Atif Mashkoor

Cloud-enabled large-scale distributed systems orchestrate resources and services from various providers in order to deliver high-quality software solutions to the end users. The sp…