Formal Modeling Routing Protocols in Mobile Ad Hoc Networks
Abstract
In this paper we provide a process algebra to formally analyze ad hoc protocols above network layer. Mainly our focus in this paper is on formal modeling and analysis of routing protocols. We explain the semantics of our algebra using labeled transition systems and then define an equivalence relation between them. Finally we illustrate application of our algebra by a case study on cluster formation process of cluster based ad hoc routing protocol.
Keywords
Ad hoc Network Algebra, Restricted Broadcast, Topology Changes
