USP Electronic Research Repository

A process algebra for wireless mesh networks

Fehnker, Ansgar and van Glabbeek, R.J. and Hofner, P. and Mclver, A. and Portmann, M. and Tan, W.L. (2012) A process algebra for wireless mesh networks. [Conference Proceedings]

[img] PDF - Published Version
Download (497kB)


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.

Item Type: Conference Proceedings
Additional Information: BRN: 1188850
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Divisions: Faculty of Science, Technology and Environment (FSTE) > School of Computing, Information and Mathematical Sciences
Depositing User: Ms Shalni Sanjana
Date Deposited: 19 Dec 2012 00:00
Last Modified: 25 Jul 2016 02:25

Actions (login required)

View Item View Item

Document Downloads

More statistics for this item...