Toronto Networking Seminar

An Axiomatic Basis for Communication 

Martin Karsten
School of Computer Science
University of Waterloo

Date:  Friday, February 16,  2pm
Location: BA1220 (Bahen Center)


The de-facto service architecture of today's communication networks lacks a well-defined and coherent theoretical foundation. With layering as the only means for functional abstraction, the diversity of current technologies cannot be expressed consistently and analyzed properly. In this work, we present an axiomatic formulation of fundamental mechanisms in communication networks. In particular, we reconcile the existing but somewhat fuzzy concepts of 'naming' and 'addressing' and present a consistent set of primitives that are sufficient to compose communication services. The long-term goal of this exercise is to better document, verify, evaluate, and eventually implement network services.


Martin Karsten received his doctoral degree in computer science from Darmstadt University of Technology, Germany, in July 2000 and has been a lecturer and team leader responsible for various research projects afterwards. He is currently an assistant professor in the David R. Cheriton School of Computer Science at the University of Waterloo, Canada. His research interests are network protocols and network layer technologies for wide-area networks.