This paper describes the DUAL (diffusion update algorithm), which is used in Cisco’s EIGRP. The algorithm guarantees loop-free routing at any time by imposing a constraint (feasibility condition) on route update. The feasibility condition is a conservative condition in the sense that it rejects some legitimate route update so that loops can be totally avoided.

Bibliographic data

@article{
   title = "Loop-Free Routing Using Diffusing Computations",
   author = "J. J. Garcia-Lunes-Aceves",
   journal = "IEEE/ACM Trans on Networking",
   volume = "1",
   number = "1",
   pages = "130--141",
   month = "Feb",
   year = "1993",
}