Towards an Algebra of Routing Tables

DOI10.1007/978-3-642-21070-9_17zbMath1329.68042OpenAlexW1803369373MaRDI QIDQ3007579

Peter Höfner, Annabelle McIver

Publication date: 17 June 2011

Published in: Relational and Algebraic Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-21070-9_17

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Graph theory (including graph drawing) in computer science (68R10) Network protocols (68M12)

Related Items (1)

Hopscotch -- reaching the target hop by hop

Uses Software

• Prover9

This page was built for publication: Towards an Algebra of Routing Tables