Abstractions for network update
A network in a laptop: rapid prototyping for software-defined networks