Skip to main content

Towards an algebra of routing tables


Peter Hoefner and Annabelle McIver


Universitaet Augsburg

Macquarie University


We use well-known algebraic concepts like semirings and matrices to model and argue about Wireless Mesh Networks. These networks are used in a wide range of application areas, including public safety and transportation. Formal reasoning therefore seems to be necessary to guarantee safety and security. In this paper we aim towards an algebraic characterisation of the AODV protocol.

BibTeX Entry

    author           = {H\"ofner, Peter and McIver, Annabelle},
    doi              = {10.1007/978-3-642-21070-9_17},
    editor           = {{Harrie de Swart}},
    month            = may,
    year             = {2011},
    keywords         = {mesh networks, aodv, algebra},
    address          = {Rotterdam, Netherlands},
    title            = {Towards an Algebra of Routing Tables},
    pages            = {212--229},
    booktitle        = {12th International Conference on Relational and Algebraic Methods in Computer Science},
    publisher        = {Springer}


Served by Apache on Linux on seL4.