Formalizing Compute-Aggregate Problems in Cloud Computing | Publicación