A Process Algebra for Wireless Mesh Networks

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

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

arXiv 2015-12-23 DOI 10.1007/978-3-642-28869-2_15 0 views

A Process Algebra for Wireless Mesh Networks

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

Logic in Computer Science Networking and Internet Architecture F.3.2; F.3.1; C.2.2

Original · EN

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.

English translation

This paper has no Arabic translation yet. Be the first: it takes a few seconds, and the result is stored for every future reader.

Read on arXiv