@inproceedings{f02a9f255b564adab21cc0f2cf24134f,
title = "Towards an algebra of routing tables",
abstract = "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 model a simplified algebraic version of the AODV protocol and provide some basic properties. For example we show that each node knows a route to the originator of a message (if there is one).",
author = "Peter H{\"o}fner and Annabelle McIver",
year = "2011",
doi = "10.1007/978-3-642-21070-9_17",
language = "English",
isbn = "9783642210693",
volume = "6663 LNCS",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer, Springer Nature",
pages = "212--229",
editor = "{de Swart}, Harrie",
booktitle = "Relational and Algebraic Methods in Computer Science - 12th International Conference, RAMICS 2011, Proceedings",
address = "United States",
note = "12th International Conference on Relational and Algebraic Methods in Computer Science, RAMICS 2011 ; Conference date: 30-05-2011 Through 03-06-2011",
}