A Routing Calculus with Flooding Updates
2015
We propose a process calculus which explicitly models routing in a distributed computer network. We define a model which consists of a network of routers where the topology of routers is fixed. The calculus has three syntactic categories namely processes, nodes and systems. Processes reside in nodes which are connected to a specific routers which forms a system. Upon creation of new nodes, the routing tables are updated using flooding method. We show that the proposed routing calculi is reduction equivalent to its specification asynchronous distributed pi-calculus ADpi. We believe that such modeling helps in prototyping the distributed routing algorithms.
Keywords:
- Computer network
- Hierarchical routing
- Enhanced Interior Gateway Routing Protocol
- Calculus
- Routing domain
- Convergence (routing)
- Routing protocol
- Static routing
- Destination-Sequenced Distance Vector routing
- Distributed computing
- Equal-cost multi-path routing
- Computer science
- Policy-based routing
- Routing table
- Path vector protocol
- Correction
- Source
- Cite
- Save
- Machine Reading By IdeaReader
14
References
1
Citations
NaN
KQI