David Walker

3 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Optimizing the "one big switch" abstraction in software-defined networks

Nanxi Kang and others (2013) · ACM

Composing Software-Defined Networks

Christopher Monsanto and others (2013) · Proc. NSDI, 2013 · NSDI

A calculus of mobile processes, I

Robin Milner and others (1992) · Information and Computation · Elsevier BV