Date Added: Apr 2011
The authors present a formal distributed algorithm that can be used for the deployment of routing policies in a network infrastructure that attempts to complete the ideas proposed by Griffin et al. They show that their algorithm is based on a function that satisfies conditions proposed by Bertsekas. These conditions guarantee that the distributed version of the algorithm will converge and yield the same result as a centralized computation of the routing matrix. They also present a prototype in Haskell that illustrates the possibilities of defining policies and general computations on them.