is a subscription of node d for s’s events in v’s forwarding configuration T"v" . The operation REDIR(s,d,u) will create a redirection of the path (s,d) via u (Fig. 2). The operation SHORT(s,d) will remove v from the path (s,d) (Fig. 3). Applying an operation transforms the current configuration r into r’.