Facebook pixel tracking

The Science and Information (SAI) Organization publishes open-access peer-reviewed journals in computer science and artificial intelligence.

Contact Info
Email info@thesai.org
Website thesai.org
Follow Us
Contact Info
Email info@thesai.org
Follow Us
Research Article | Open Access |

A Routing Calculus with Distance Vector Routing Updates

Author 1: Priyanka Gupta Author 2: Manish Gaur
International Journal of Advanced Computer Science and Applications (IJACSA) · Vol. 9, No. 10 · Published 2018

DOI: https://doi.org/10.14569/IJACSA.2018.091067

Download PDF Cite Call for Papers

Abstract

We propose a routing calculus in a process algebraic framework to implement dynamic updates of routing table using distance vector routing. This calculus is an extension of an existing routing calculus DRωπ where routing tables are fixed except when new nodes are created in which case the routing tables are appended with relevant entries. The main objective of implementing dynamic routing updates is to demonstrate the formal modeling of distributed networks which is closer to the networks in practice. We justify our calculus by showing its reduction equivalence with its specification Dπ (distributed π-calculus) after abstracting away the unnecessary details from our calculus which in fact is one of the implementations of Dπ. We nomenclate our calculus with routing table updates as DRϕπ .

Keywords

Routing Calculi Routing Protocols Well Formed Configuration Reduction Semantics

How to Cite this Article

Gupta, P., & Gaur, M. (2018). A Routing Calculus with Distance Vector Routing Updates. International Journal of Advanced Computer Science and Applications, 9(10). https://doi.org/10.14569/IJACSA.2018.091067

Gupta, Priyanka, and Manish Gaur. "A Routing Calculus with Distance Vector Routing Updates." International Journal of Advanced Computer Science and Applications, vol. 9, no. 10, 2018, https://doi.org/10.14569/IJACSA.2018.091067.

@article{Gupta2018,
  title     = {A Routing Calculus with Distance Vector Routing Updates},
  journal   = {International Journal of Advanced Computer Science and Applications},
  volume    = {9},
  number    = {10},
  year      = {2018},
  publisher = {The Science and Information Organization},
  author    = {Priyanka Gupta and Manish Gaur},
  doi       = {10.14569/IJACSA.2018.091067},
  url       = {https://doi.org/10.14569/IJACSA.2018.091067}
}

Open Access — licensed under a Creative Commons Attribution 4.0 International License. Unrestricted use, distribution, and reproduction in any medium, even commercially, as long as the original work is properly cited.

Back to Issue
IJACSA Journal Cover

IJACSA