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

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

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: 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
Editors	Helmut Seidl
Place of Publication	Berlin, Heidelberg
Publisher	Springer
Pages	295-315
Number of pages	21
Volume	7211
ISBN (Electronic)	978-3-642-28869-2
ISBN (Print)	978-3-642-28868-5
DOIs	https://doi.org/10.1007/978-3-642-28869-2_15
Publication status	Published - 28 Mar 2012
Event	The 21st European Symposium on Programming, 2012 - Tallinn, Estonia Duration: 26 Mar 2012 → 28 Mar 2012 Conference number: 21

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer Berlin, Heidelberg
Volume	7211
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	The 21st European Symposium on Programming, 2012
Abbreviated title	ESOP 2012
Country/Territory	Estonia
City	Tallinn
Period	26/03/12 → 28/03/12

Access to Document

10.1007/978-3-642-28869-2_15Licence: All Rights Reserved

https://link.springer.com/chapter/10.1007/978-3-642-28869-2_15Licence: All Rights Reserved

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, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings (Vol. 7211, pp. 295-315). (Lecture Notes in Computer Science; Vol. 7211). Springer. 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, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings. editor / Helmut Seidl. Vol. 7211 Berlin, Heidelberg : Springer, 2012. pp. 295-315 (Lecture Notes in Computer Science).

@inproceedings{98bc4228986c4f1cbf492cce331c0851,

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",

month = mar,

day = "28",

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

language = "English",

isbn = "978-3-642-28868-5",

volume = "7211",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "295--315",

editor = "Helmut Seidl",

booktitle = "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",

address = "United Kingdom",

note = "The 21st European Symposium on Programming, 2012, ESOP 2012 ; Conference date: 26-03-2012 Through 28-03-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, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings. vol. 7211, Lecture Notes in Computer Science, vol. 7211, Springer, Berlin, Heidelberg, pp. 295-315, The 21st European Symposium on Programming, 2012, Tallinn, Estonia, 26/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, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings. ed. / Helmut Seidl. Vol. 7211 Berlin, Heidelberg: Springer, 2012. p. 295-315 (Lecture Notes in Computer Science; Vol. 7211).

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

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

N1 - Conference code: 21

PY - 2012/3/28

Y1 - 2012/3/28

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

VL - 7211

T3 - Lecture Notes in Computer Science

SP - 295

EP - 315

BT - 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

A2 - Seidl, Helmut

PB - Springer

CY - Berlin, Heidelberg

T2 - The 21st European Symposium on Programming, 2012

Y2 - 26 March 2012 through 28 March 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, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings. Vol. 7211. Berlin, Heidelberg: Springer. 2012. p. 295-315. (Lecture Notes in Computer Science). doi: 10.1007/978-3-642-28869-2_15

A Process Algebra for Wireless Mesh Networks

Abstract

Publication series

Conference

Access to Document

Fingerprint

Cite this