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.
Ghassemi,F. and Movaghar,A. (2008). Formal Modeling Routing Protocols in Mobile Ad Hoc Networks. (e216002). The CSI Journal on Computer Science and Engineering, 5(2), e216002
MLA
Ghassemi,F. , and Movaghar,A. . "Formal Modeling Routing Protocols in Mobile Ad Hoc Networks" .e216002 , The CSI Journal on Computer Science and Engineering, 5, 2, 2008, e216002.
HARVARD
Ghassemi F., Movaghar A. (2008). 'Formal Modeling Routing Protocols in Mobile Ad Hoc Networks', The CSI Journal on Computer Science and Engineering, 5(2), e216002.
CHICAGO
F. Ghassemi and A. Movaghar, "Formal Modeling Routing Protocols in Mobile Ad Hoc Networks," The CSI Journal on Computer Science and Engineering, 5 2 (2008): e216002,
VANCOUVER
Ghassemi F., Movaghar A. Formal Modeling Routing Protocols in Mobile Ad Hoc Networks. CSIonJCSE, 2008; 5(2): e216002.
The CSI Journal on Computer Science and Engineering