Formal Algebraic Model of an Edge Data Center with a Redundant Ring Topology | Publicación