A self-stabilizing shortest path algorithm in a DAG

This paper describes two protocols applicable to directed acrylic graph topologies. The first is a topological sorting of the successor list at each node, and the second is a shortest routing path protocol. Both of these protocols are resilient to transient failures in that they guarantee system recovery in a finite number of moves. This resiliency is obtained by using the notion of self-stabilization. This is a method by which convergence to the desired behavior is guaranteed. These algorithms have direct application in network routing.<
>