A Process Algebra for Wireless Mesh Networks used for Modelling, Verifying and Analysing AODV
@article{Fehnker2013APA, title={A Process Algebra for Wireless Mesh Networks used for Modelling, Verifying and Analysing AODV}, author={A. Fehnker and R. V. Glabbeek and P. H{\"o}fner and A. McIver and M. Portmann and W. Tan}, journal={ArXiv}, year={2013}, volume={abs/1312.7645} }
We propose AWN (Algebra for Wireless Networks), a process algebra tailored to the modelling of Mobile Ad hoc Network (MANET) and Wireless Mesh Network (WMN) protocols. It combines novel treatments of local broadcast, conditional unicast and data structures.
In this framework we present a rigorous analysis of the Ad hoc On-Demand Distance Vector (AODV) protocol, a popular routing protocol designed for MANETs and WMNs, and one of the four protocols currently standardised by the IETF MANET… CONTINUE READING
Figures, Tables, and Topics from this paper
52 Citations
Modeling and efficient verification of wireless ad hoc networks
- Computer Science
- Formal Aspects of Computing
- 2017
- 17
- Highly Influenced
- PDF
A Timed Process Algebra for Wireless Networks with an Application in Routing - (Extended Abstract)
- Computer Science
- ESOP
- 2016
- 14
- PDF
Towards a rigorous analysis of AODVv2 (DYMO)
- Computer Science
- 2012 20th IEEE International Conference on Network Protocols (ICNP)
- 2012
- 20
- PDF
References
SHOWING 1-10 OF 83 REFERENCES
Modeling and simulation of routing protocol for mobile ad hoc networks using colored petri nets
- Computer Science
- FME 2002
- 2002
- 62
- PDF
Verification of mobile ad hoc networks: An algebraic approach
- Computer Science
- Theor. Comput. Sci.
- 2011
- 16
- PDF
Modelling and Initial Validation of the DYMO Routing Protocol for Mobile Ad-Hoc Networks
- Computer Science
- Petri Nets
- 2008
- 40
- Highly Influential
A process calculus for energy-aware multicast communications of mobile ad hoc networks
- Computer Science
- Wirel. Commun. Mob. Comput.
- 2013
- 6
- PDF
Towards a rigorous analysis of AODVv2 (DYMO)
- Computer Science
- 2012 20th IEEE International Conference on Network Protocols (ICNP)
- 2012
- 20
- PDF