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]

[thumbnail of A_process_algebra_for_wireless_mesh_networks.pdf]
Preview
PDF - Published Version
Download (497kB) | Preview

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.

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
URI: https://repository.usp.ac.fj/id/eprint/5323

Actions (login required)

View Item View Item