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)

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.
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
Pages295-315
ISBN (Electronic)978-3-642-28869-2
DOIs
Publication statusPublished - 2015
Externally publishedYes
Event21st European Symposium on Programming 2012 - Tallinn, Estonia
Duration: 24 Mar 20121 Apr 2012
Conference number: 21
http://www.etaps.org/2012/esop

Publication series

NameLecture Notes in Computer Science
Volume7211

Conference

Conference21st European Symposium on Programming 2012
Abbreviated titleESOP 2012
CountryEstonia
CityTallinn
Period24/03/121/04/12
Internet address

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

Cite this