The INI has a new website!

This is a legacy webpage. Please visit the new site to ensure you are seeing up to date information.

Skip to content



Metarouting: An algebraic approach to defining routing protocols

Griffin, T (Cambridge)
Friday 10 March 2006, 11:00-12:00

Seminar Room 1, Newton Institute


Semi-rings have been used in the past thirty years as a general framework in which to describe routing problems and routing algorithms. Some of the semi-ring axioms can be relaxed to arrive at "routing algebras" (Sobrinho 2003), which can model the very complex poilcy-based routing used in the Internet today. Metarouting is centered around defining a meta-language for routing algebras --- a language where algebraic properties (such as monotonicity) needed for convergence guarantees can be automatically derived much like types are derived in programming languages.


MP3MP3 Real AudioReal Audio

Back to top ∧