System-Level Service Assurance — The ∀ Approach to Global Multicast