Corpus ID: 195347613

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}
}

A. Fehnker, R. V. Glabbeek, +3 authors W. Tan

Published 2013

Computer Science

ArXiv

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

View PDF on arXiv

Save to Library

Create Alert

Cite

Launch Research Feed