Formal performance evaluation of the Map/Reduce framework within cloud computing | Publicación