A Process Algebra for Wireless Mesh Networks

Ansgar Fehnker, Rob J. van Glabbeek, Peter Höfner, Annabelle McIver, Marius Portmann, Wee Lum Tan

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

46 Citations (Scopus)
6 Downloads (Pure)


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.
Original languageEnglish
Title of host publicationProgramming Languages and Systems
Subtitle of host publication21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings
EditorsHelmut Seidl
ISBN (Electronic)978-3-642-28869-2
Publication statusPublished - 2015
Externally publishedYes
Event21st European Symposium on Programming 2012 - Tallinn, Estonia
Duration: 24 Mar 20121 Apr 2012
Conference number: 21

Publication series

NameLecture Notes in Computer Science


Conference21st European Symposium on Programming 2012
Abbreviated titleESOP 2012
Internet address

Fingerprint Dive into the research topics of 'A Process Algebra for Wireless Mesh Networks'. Together they form a unique fingerprint.

Cite this