A Process Algebra for Wireless Mesh Networks

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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract / Description of output

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: 21st 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
Place of PublicationBerlin, Heidelberg
PublisherSpringer Berlin Heidelberg
Number of pages21
ISBN (Electronic)978-3-642-28869-2
ISBN (Print)978-3-642-28868-5
Publication statusPublished - 28 Mar 2012
EventThe 21st European Symposium on Programming, 2012 - Tallinn, Estonia
Duration: 26 Mar 201228 Mar 2012
Conference number: 21

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Berlin, Heidelberg
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


ConferenceThe 21st European Symposium on Programming, 2012
Abbreviated titleESOP 2012


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

Cite this