Formal Algebraic Description of a Fog/IoT Computing Environment | Publicación