Fat Tree Algebraic Formal Modelling Applied to Fog Computing | Publicación