Formal algebraic description of a fog computing environment | Publicación