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

41 Citations (Scopus)
4 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

Wireless mesh networks (WMN)
Routing protocols
Algebra
Data structures

Cite this

Fehnker, A., Glabbeek, R. J. V., Höfner, P., McIver, A., Portmann, M., & Tan, W. L. (2015). 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, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings (pp. 295-315). (Lecture Notes in Computer Science; Vol. 7211). https://doi.org/10.1007/978-3-642-28869-2_15
Fehnker, Ansgar ; Glabbeek, Rob J. van ; Höfner, Peter ; McIver, Annabelle ; Portmann, Marius ; Tan, Wee Lum. / A Process Algebra for Wireless Mesh Networks. 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, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings. editor / Helmut Seidl. 2015. pp. 295-315 (Lecture Notes in Computer Science).
@inproceedings{6465027a9372405da5c5e16dfababb1c,
title = "A Process Algebra for Wireless Mesh Networks",
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.",
author = "Ansgar Fehnker and Glabbeek, {Rob J. van} and Peter H{\"o}fner and Annabelle McIver and Marius Portmann and Tan, {Wee Lum}",
year = "2015",
doi = "10.1007/978-3-642-28869-2_15",
language = "English",
isbn = "978-3-642-28868-5",
series = "Lecture Notes in Computer Science",
pages = "295--315",
editor = "Seidl, {Helmut }",
booktitle = "Programming Languages and Systems",

}

Fehnker, A, Glabbeek, RJV, Höfner, P, McIver, A, Portmann, M & Tan, WL 2015, 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, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings. Lecture Notes in Computer Science, vol. 7211, pp. 295-315, 21st European Symposium on Programming 2012, Tallinn, Estonia, 24/03/12. https://doi.org/10.1007/978-3-642-28869-2_15

A Process Algebra for Wireless Mesh Networks. / Fehnker, Ansgar; Glabbeek, Rob J. van; Höfner, Peter; McIver, Annabelle; Portmann, Marius; Tan, Wee Lum.

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, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings. ed. / Helmut Seidl. 2015. p. 295-315 (Lecture Notes in Computer Science; Vol. 7211).

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

TY - GEN

T1 - A Process Algebra for Wireless Mesh Networks

AU - Fehnker, Ansgar

AU - Glabbeek, Rob J. van

AU - Höfner, Peter

AU - McIver, Annabelle

AU - Portmann, Marius

AU - Tan, Wee Lum

PY - 2015

Y1 - 2015

N2 - 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.

AB - 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.

U2 - 10.1007/978-3-642-28869-2_15

DO - 10.1007/978-3-642-28869-2_15

M3 - Conference contribution

SN - 978-3-642-28868-5

T3 - Lecture Notes in Computer Science

SP - 295

EP - 315

BT - Programming Languages and Systems

A2 - Seidl, Helmut

ER -

Fehnker A, Glabbeek RJV, Höfner P, McIver A, Portmann M, Tan WL. A Process Algebra for Wireless Mesh Networks. In Seidl H, editor, 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, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings. 2015. p. 295-315. (Lecture Notes in Computer Science). https://doi.org/10.1007/978-3-642-28869-2_15