A process algebra for wireless mesh networks

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

*Corresponding author for this work

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

48 Citations (Scopus)

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, Proceedings
EditorsHelmut Seidl
Place of PublicationHeidelberg, Germany
PublisherSpringer, Springer Nature
Pages295-315
Number of pages21
Volume7211 LNCS
ISBN (Print)9783642288685
DOIs
Publication statusPublished - 2012
Event21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012 - Tallinn, Estonia
Duration: 24 Mar 20121 Apr 2012

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume7211 LNCS
ISSN (Print)03029743
ISSN (Electronic)16113349

Other

Other21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012
CountryEstonia
CityTallinn
Period24/03/121/04/12

Fingerprint Dive into the research topics of 'A process algebra for wireless mesh networks'. Together they form a unique fingerprint.

  • Cite this

    Fehnker, A., Van Glabbeek, R., Höfner, P., McIver, A., Portmann, M., & Tan, W. L. (2012). A process algebra for wireless mesh networks. In H. Seidl (Ed.), Programming 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, Proceedings (Vol. 7211 LNCS, pp. 295-315). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 7211 LNCS). Heidelberg, Germany: Springer, Springer Nature. https://doi.org/10.1007/978-3-642-28869-2_15