Ricardo Rocha;John Launchbury
University of Porto, CRACS & INESC-Porto LA, Faculty of Sciences, Porto, Portugal;Galois, Portland, OR
Procera: a language for high-level reactive network control
Proceedings of the first workshop on Hot topics in software defined networks