Skip to main content

TS

A process algebra for wireless mesh networks

Authors

Ansgar Fehnker, Rob van Glabbeek, Peter Hoefner, Annabelle McIver, Marius Portmann and Wee Lum Tan

NICTA

UNSW

Macquarie University

Queensland University of Technology

Abstract

We propose a process algebra for wireless mesh networks that combines novel treatments of local broadcast, conditional unicast and data structures. In this framework, we model the Ad-hoc On-Demand Distance Vector (AODV) routing protocol and (dis)prove crucial properties such as loop freedom and packet delivery.

BibTeX Entry

  @inproceedings{Fehnker_GHMPT_12,
    publisher        = {Springer},
    author           = {Fehnker, Ansgar and van Glabbeek, Robert and Höfner, Peter and McIver, Annabelle and Portmann,
                        Marius and Tan, Wee Lum},
    issn             = {0302-9743},
    month            = mar,
    editor           = {{Helmut Seidl}},
    year             = {2012},
    keywords         = {process algebra; wireless mesh networks; ad-hoc on-demand distance vector (aodv); routing protocols;
                        loop freedom},
    title            = {A Process Algebra for Wireless Mesh Networks},
    booktitle        = {22nd European Symposium on Programming (ESOP 2012)},
    pages            = {295-315},
    address          = {Tallinn, Estonia}
  }

Download

Served by Apache on Linux on seL4.