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 (485Kb)


    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 13:00
    Last Modified: 25 Jul 2016 14:25

    Actions (login required)

    View Item

    Document Downloads

    More statistics for this item...