A balance of power: expressive, analyzable controller programming

Timothy Nelson, Arjun Guha, Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi. A balance of power: expressive, analyzable controller programming. In Nate Foster, Rob Sherwood, editors, Proceedings of the Second ACM SIGCOMM Workshop on Hot Topics in Software Defined Networking, HotSDN 2013, The Chinese University of Hong Kong, Hong Kong, China, Friday, August 16, 2013. pages 79-84, ACM, 2013. [doi]