A Routing Calculus with Distance Vector Routing Updates
Journal Title: International Journal of Advanced Computer Science & Applications - Year 2018, Vol 9, Issue 10
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ϕπ .
Authors and Affiliations
Priyanka Gupta, Manish Gaur
Keywords
Related Articles
- EP ID EP408913
- DOI 10.14569/IJACSA.2018.091067
- Views 101
- Downloads 0
Towards a Modular Recommender System for Research Papers written in Albanian
In the recent years there has been an increase in scientific papers publications in Albania and its neighboring countries that have large communities of Albanian speaking researchers. Many of these papers are written in...
Exploiting the Interplay among Products for Efficient Recommendations
Recommender systems are built with the aim to reduce the cognitive load on the user. An efficient recommender system should ensure that a user spends minimal time in the process. Conversational Case-Based Recommender Sys...
Prediction of Crude Oil Prices using Hybrid Guided Best-So-Far Honey Bees Algorithm-Neural Networks
The objective of this paper is the use of new hybrid meta-heuristic method called Guided Best-So-Far Honey Bees Inspired Algorithm with Artificial Neural Network (ANN) on the Prediction of Crude Oil Prices of Kingdom of...
Using Real-World Car Traffic Dataset in Vehicular Ad Hoc Network Performance Evaluation
Vehicular ad hoc networking is an emerging paradigm which is gaining much interest with the development of new topics such as the connected vehicle, the autonomous vehicle, and also new high-speed mobile communication te...
Implementation of an Image Processing Algorithm on a Platform DSP Tms320c6416
In the context of emerging technologies, Cloud Computing (CC) was introduced as a new paradigm to host and deliver Information Technology Services. Cloud computing is a new model for delivering resources. However, there...