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]
Preview |
PDF
- Published Version
Download (497kB) | Preview |
Official URL: http://www.nicta.com.au/pub?doc=4801
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 |