A timed process algebra for wireless networks with an application in routing

Emile Bres; Rob Van Glabbeek; Peter HÖFner

doi:10.1007/978-3-662-49498-1_5

A timed process algebra for wireless networks with an application in routing

Emile Bres, Rob Van Glabbeek, Peter HÖFner^*

^*Corresponding author for this work

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

12 Citations (Scopus)

Abstract

This paper proposes a timed process algebra for wireless networks, an extension of the Algebra for Wireless Networks. It combines treatments of local broadcast, conditional unicast and data structures, which are essential features for the modelling of network protocols. In this framework we model and analyse the Ad hoc On-Demand Distance Vector routing protocol, and show that, contrary to claims in the literature, it fails to be loop free. We also present boundary conditions for a fix ensuring that the resulting protocol is indeed loop free.

Original language	English
Title of host publication	Programming Languages and Systems - 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Proceedings
Editors	Peter Thiemann
Publisher	Springer Verlag
Pages	95-122
Number of pages	28
ISBN (Print)	9783662494974
DOIs	https://doi.org/10.1007/978-3-662-49498-1_5
Publication status	Published - 2016
Externally published	Yes
Event	25th European Symposium on Programming, ESOP 2016 and Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016 - Eindhoven, Netherlands Duration: 2 Apr 2016 → 8 Apr 2016

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	9632
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	25th European Symposium on Programming, ESOP 2016 and Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016
Country/Territory	Netherlands
City	Eindhoven
Period	2/04/16 → 8/04/16

Access to Document

10.1007/978-3-662-49498-1_5

Cite this

Bres, E., Van Glabbeek, R., & HÖFner, P. (2016). A timed process algebra for wireless networks with an application in routing. In P. Thiemann (Ed.), Programming Languages and Systems - 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Proceedings (pp. 95-122). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9632). Springer Verlag. https://doi.org/10.1007/978-3-662-49498-1_5

Bres, Emile ; Van Glabbeek, Rob ; HÖFner, Peter. / A timed process algebra for wireless networks with an application in routing. Programming Languages and Systems - 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Proceedings. editor / Peter Thiemann. Springer Verlag, 2016. pp. 95-122 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{b1dd065da82e4f8e95a834dc0c737877,

title = "A timed process algebra for wireless networks with an application in routing",

abstract = "This paper proposes a timed process algebra for wireless networks, an extension of the Algebra for Wireless Networks. It combines treatments of local broadcast, conditional unicast and data structures, which are essential features for the modelling of network protocols. In this framework we model and analyse the Ad hoc On-Demand Distance Vector routing protocol, and show that, contrary to claims in the literature, it fails to be loop free. We also present boundary conditions for a fix ensuring that the resulting protocol is indeed loop free.",

author = "Emile Bres and {Van Glabbeek}, Rob and Peter H{\"O}Fner",

note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 2016.; 25th European Symposium on Programming, ESOP 2016 and Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016 ; Conference date: 02-04-2016 Through 08-04-2016",

year = "2016",

doi = "10.1007/978-3-662-49498-1_5",

language = "English",

isbn = "9783662494974",

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

publisher = "Springer Verlag",

pages = "95--122",

editor = "Peter Thiemann",

booktitle = "Programming Languages and Systems - 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Proceedings",

address = "Germany",

}

Bres, E, Van Glabbeek, R & HÖFner, P 2016, A timed process algebra for wireless networks with an application in routing. in P Thiemann (ed.), Programming Languages and Systems - 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 9632, Springer Verlag, pp. 95-122, 25th European Symposium on Programming, ESOP 2016 and Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, Netherlands, 2/04/16. https://doi.org/10.1007/978-3-662-49498-1_5

A timed process algebra for wireless networks with an application in routing. / Bres, Emile; Van Glabbeek, Rob; HÖFner, Peter.
Programming Languages and Systems - 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Proceedings. ed. / Peter Thiemann. Springer Verlag, 2016. p. 95-122 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9632).

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

TY - GEN

T1 - A timed process algebra for wireless networks with an application in routing

AU - Bres, Emile

AU - Van Glabbeek, Rob

AU - HÖFner, Peter

PY - 2016

Y1 - 2016

N2 - This paper proposes a timed process algebra for wireless networks, an extension of the Algebra for Wireless Networks. It combines treatments of local broadcast, conditional unicast and data structures, which are essential features for the modelling of network protocols. In this framework we model and analyse the Ad hoc On-Demand Distance Vector routing protocol, and show that, contrary to claims in the literature, it fails to be loop free. We also present boundary conditions for a fix ensuring that the resulting protocol is indeed loop free.

AB - This paper proposes a timed process algebra for wireless networks, an extension of the Algebra for Wireless Networks. It combines treatments of local broadcast, conditional unicast and data structures, which are essential features for the modelling of network protocols. In this framework we model and analyse the Ad hoc On-Demand Distance Vector routing protocol, and show that, contrary to claims in the literature, it fails to be loop free. We also present boundary conditions for a fix ensuring that the resulting protocol is indeed loop free.

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

U2 - 10.1007/978-3-662-49498-1_5

DO - 10.1007/978-3-662-49498-1_5

M3 - Conference contribution

SN - 9783662494974

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

SP - 95

EP - 122

BT - Programming Languages and Systems - 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Proceedings

A2 - Thiemann, Peter

PB - Springer Verlag

T2 - 25th European Symposium on Programming, ESOP 2016 and Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016

Y2 - 2 April 2016 through 8 April 2016

ER -

Bres E, Van Glabbeek R, HÖFner P. A timed process algebra for wireless networks with an application in routing. In Thiemann P, editor, Programming Languages and Systems - 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Proceedings. Springer Verlag. 2016. p. 95-122. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-662-49498-1_5

A timed process algebra for wireless networks with an application in routing

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this