TY - RPRT TI - A Formal Model for Path Set Attribute Calculation in Network Systems AU - Giovanni Fiaschi AU - Carlo Vitucci AU - Thomas Westerbäck AU - Daniel Sundmark AU - Thomas Nolte PY - 2025 UR - https://arxiv.org/abs/2511.05334 ID - 2511.05334 ER -