Towards an Algebra of Routing Tables

Select |


Höfner, Peter; McIver, Annabelle


Conference Material

12th International Conference on Relational and Algebraic Methods in Computer Science

Rotterdam, Netherlands


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.


Mesh networks, AODV, algebra

Copyright, Springer 2011


Höfner, Peter; McIver, Annabelle. Towards an Algebra of Routing Tables.[Conference Material]. Springer; 2011-05-30. <a href="" target="_blank"></a>

Loading citation data...

Citation counts
(Requires subscription to view)