A game theoretic formulation of the service provisioning problem in cloud systems | Synapse