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 109
- Downloads 0
Polynomial based Channel Estimation Technique with Sliding Window for M-QAM Systems
Pilot Symbol Assisted Modulation (PSAM) channel estimation techniques over Rayleigh fading channels have been analysed in recent years. Fluctuations in the Rayleigh fading channel gain degrades the performance of any mod...
Cloud Security based on the Homomorphic Encryption
Cloud computing provides services rather than products; where it offers many benefits to clients who pay to use hardware and software resources. There are many advantages of using cloud computing such as low cost, easy t...
Efficient Proposed Framework for Semantic Search Engine using New Semantic Ranking Algorithm
The amount of information raises billions of databases every year and there is an urgent need to search for that information by a specialize tool called search engine. There are many of search engines available today, bu...
BioPay: Your Fingerprint is Your Credit Card
In recent years, credit and debit cards have become a very convenient method of payment. The growing use of card payments, hereafter referred to as credit cards, is evident in the daily use with many applications, such a...
An Analysis of Cloud Computing Adoption Framework for Iraqi e-Government
This paper presents an analysis of the factors which could have possible affect over the adoption of cloud computing via the Iraqi e-government. A conceptual framework model for cloud computing within Iraqi e-government...