A process algebra for wireless mesh networks

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

doi:10.1007/978-3-642-28869-2_15

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

School of Computing

Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution › peer-review

53 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 language	English
Title of host publication	Programming Languages and Systems
Subtitle of host publication	21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Proceedings
Editors	Helmut Seidl
Place of Publication	Heidelberg, Germany
Publisher	Springer, Springer Nature
Pages	295-315
Number of pages	21
Volume	7211 LNCS
ISBN (Print)	9783642288685
DOIs	https://doi.org/10.1007/978-3-642-28869-2_15
Publication status	Published - 2012
Event	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 Duration: 24 Mar 2012 → 1 Apr 2012

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	7211 LNCS
ISSN (Print)	03029743
ISSN (Electronic)	16113349

Other

Other	21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012
Country/Territory	Estonia
City	Tallinn
Period	24/03/12 → 1/04/12

Access to Document

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

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). Springer, Springer Nature. https://doi.org/10.1007/978-3-642-28869-2_15

Fehnker, Ansgar ; Van Glabbeek, Rob ; Höfner, Peter et al. / 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, Proceedings. editor / Helmut Seidl. Vol. 7211 LNCS Heidelberg, Germany : Springer, Springer Nature, 2012. pp. 295-315 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{229f2a19146d43f6a365b54b9e468c4c,

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 {Van Glabbeek}, Rob and Peter H{\"o}fner and Annabelle McIver and Marius Portmann and Tan, {Wee Lum}",

year = "2012",

doi = "10.1007/978-3-642-28869-2_15",

language = "English",

isbn = "9783642288685",

volume = "7211 LNCS",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer, Springer Nature",

pages = "295--315",

editor = "Helmut Seidl",

booktitle = "Programming Languages and Systems",

address = "United States",

note = "21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012 ; Conference date: 24-03-2012 Through 01-04-2012",

}

Fehnker, A, Van Glabbeek, R, Höfner, P, McIver, A, Portmann, M & Tan, WL 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, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 7211 LNCS, Springer, Springer Nature, Heidelberg, Germany, pp. 295-315, 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, 24/03/12. https://doi.org/10.1007/978-3-642-28869-2_15

A process algebra for wireless mesh networks. / Fehnker, Ansgar; Van Glabbeek, Rob; Höfner, Peter et al.
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. ed. / Helmut Seidl. Vol. 7211 LNCS Heidelberg, Germany: Springer, Springer Nature, 2012. p. 295-315 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 7211 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution › peer-review

TY - GEN

T1 - A process algebra for wireless mesh networks

AU - Fehnker, Ansgar

AU - Van Glabbeek, Rob

AU - Höfner, Peter

AU - McIver, Annabelle

AU - Portmann, Marius

AU - Tan, Wee Lum

PY - 2012

Y1 - 2012

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.

UR - http://www.scopus.com/inward/record.url?scp=84859154804&partnerID=8YFLogxK

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

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

M3 - Conference proceeding contribution

AN - SCOPUS:84859154804

SN - 9783642288685

VL - 7211 LNCS

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 295

EP - 315

BT - Programming Languages and Systems

A2 - Seidl, Helmut

PB - Springer, Springer Nature

CY - Heidelberg, Germany

T2 - 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012

Y2 - 24 March 2012 through 1 April 2012

ER -

Fehnker A, Van Glabbeek R, 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, Proceedings. Vol. 7211 LNCS. Heidelberg, Germany: Springer, Springer Nature. 2012. p. 295-315. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-642-28869-2_15

A process algebra for wireless mesh networks

Abstract

Publication series

Other

Access to Document

Other files and links

Fingerprint

Cite this