{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T12:15:59Z","timestamp":1763468159235,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":19,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,8,16]],"date-time":"2013-08-16T00:00:00Z","timestamp":1376611200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2013,8,16]]},"DOI":"10.1145\/2491185.2491201","type":"proceedings-article","created":{"date-parts":[[2013,8,20]],"date-time":"2013-08-20T14:07:21Z","timestamp":1377007641000},"page":"79-84","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":27,"title":["A balance of power"],"prefix":"10.1145","author":[{"given":"Tim","family":"Nelson","sequence":"first","affiliation":[{"name":"Worcester Polytechnic Instutite, Worcester, MA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Arjun","family":"Guha","sequence":"additional","affiliation":[{"name":"Cornell University, Ithaca, NY, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel J.","family":"Dougherty","sequence":"additional","affiliation":[{"name":"Worcester Polytechnic Institute, Worcester, MA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kathi","family":"Fisler","sequence":"additional","affiliation":[{"name":"Worcester Polytechnic Institute, Worcester, MA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shriram","family":"Krishnamurthi","sequence":"additional","affiliation":[{"name":"Brown University, Providence, RI, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2013,8,16]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Foundations of Databases","author":"Abiteboul S.","year":"1995","unstructured":"S. Abiteboul , R. Hull , and V. Vianu . Foundations of Databases . Addison-Wesley , 1995 . S. Abiteboul, R. Hull, and V. Vianu. Foundations of Databases. Addison-Wesley, 1995."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1866898.1866905"},{"key":"e_1_3_2_1_3_1","volume-title":"Networked Systems Design and Implementation","author":"Canini M.","year":"2012","unstructured":"M. Canini , D. Venzano , P. Pere\u0161\u00edni , D. Kosti\u0107 , and J. Rexford . A NICE way to test OpenFlow applications . In Networked Systems Design and Implementation , 2012 . M. Canini, D. Venzano, P. Pere\u0161\u00edni, D. Kosti\u0107, and J. Rexford. A NICE way to test OpenFlow applications. In Networked Systems Design and Implementation, 2012."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2008.09.052"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2034773.2034812"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462178"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2342441.2342458"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1592681.1592683"},{"key":"e_1_3_2_1_9_1","volume-title":"The Spin Model Checker: Primer and Reference Manual","author":"Holzmann G. J.","year":"2003","unstructured":"G. J. Holzmann . The Spin Model Checker: Primer and Reference Manual . Addison-Wesley , 2003 . G. J. Holzmann. The Spin Model Checker: Primer and Reference Manual. Addison-Wesley, 2003."},{"key":"e_1_3_2_1_10_1","volume-title":"Introduction to Automata Theory, Languages, and Computation","author":"Hopcroft J. E.","year":"1979","unstructured":"J. E. Hopcroft and J. D. Ullman . Introduction to Automata Theory, Languages, and Computation . Addison-Wesley , Reading, Massachusetts , 1979 . J. E. Hopcroft and J. D. Ullman. Introduction to Automata Theory, Languages, and Computation. Addison-Wesley, Reading, Massachusetts, 1979."},{"key":"e_1_3_2_1_11_1","volume-title":"Workshop on Cross-Model Design and Validation (XLDI)","author":"Katta N. P.","year":"2012","unstructured":"N. P. Katta , J. Rexford , and D. Walker . Logic programming for software-defined networks . In Workshop on Cross-Model Design and Validation (XLDI) , 2012 . N. P. Katta, J. Rexford, and D. Walker. Logic programming for software-defined networks. In Workshop on Cross-Model Design and Validation (XLDI), 2012."},{"key":"e_1_3_2_1_12_1","volume-title":"Networked Systems Design and Implementation","author":"Khurshid A.","year":"2013","unstructured":"A. Khurshid , X. Zou , W. Zhou , M. Caesar , and P. B. Godfrey . Veriflow: Verifying network-wide invariants in real time . In Networked Systems Design and Implementation , April 2013 . A. Khurshid, X. Zou, W. Zhou, M. Caesar, and P. B. Godfrey. Veriflow: Verifying network-wide invariants in real time. In Networked Systems Design and Implementation, April 2013."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1592761.1592785"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2043164.2018470"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2103656.2103685"},{"key":"e_1_3_2_1_16_1","volume-title":"USENIX Large Installation System Administration Conference","author":"Nelson T.","year":"2010","unstructured":"T. Nelson , C. Barratt , D. J. Dougherty , K. Fisler , and S. Krishnamurthi . The Margrave tool for firewall analysis . In USENIX Large Installation System Administration Conference , 2010 . T. Nelson, C. Barratt, D. J. Dougherty, K. Fisler, and S. Krishnamurthi. The Margrave tool for firewall analysis. In USENIX Large Installation System Administration Conference, 2010."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2342441.2342466"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2461446.2461461"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/2342441.2342451"}],"event":{"name":"SIGCOMM'13: ACM SIGCOMM 2013 Conference","sponsor":["SIGCOMM ACM Special Interest Group on Data Communication"],"location":"Hong Kong China","acronym":"SIGCOMM'13"},"container-title":["Proceedings of the second ACM SIGCOMM workshop on Hot topics in software defined networking"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2491185.2491201","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2491185.2491201","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:39:37Z","timestamp":1750235977000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2491185.2491201"}},"subtitle":["expressive, analyzable controller programming"],"short-title":[],"issued":{"date-parts":[[2013,8,16]]},"references-count":19,"alternative-id":["10.1145\/2491185.2491201","10.1145\/2491185"],"URL":"https:\/\/doi.org\/10.1145\/2491185.2491201","relation":{},"subject":[],"published":{"date-parts":[[2013,8,16]]},"assertion":[{"value":"2013-08-16","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}