Network routing with path vector protocols
- 25 August 2003
- proceedings article
- Published by Association for Computing Machinery (ACM)
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Algebra and algorithms for QoS path computation and hop-by-hop routing in the InternetIEEE/ACM Transactions on Networking, 2002
- On the correctness of IBGP configurationPublished by Association for Computing Machinery (ACM) ,2002
- The stable paths problem and interdomain routingIEEE/ACM Transactions on Networking, 2002
- Stable Internet routing without global coordinationIEEE/ACM Transactions on Networking, 2001
- An architecture for stable, analyzable Internet routingIEEE Network, 1999
- The temporal logic of actionsACM Transactions on Programming Languages and Systems, 1994
- An assertional correctness proof of a distributed algorithmScience of Computer Programming, 1982