{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T08:25:41Z","timestamp":1725697541380},"reference-count":21,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,11]]},"DOI":"10.1109\/icnp.2016.7784433","type":"proceedings-article","created":{"date-parts":[[2016,12,17]],"date-time":"2016-12-17T07:55:26Z","timestamp":1481961326000},"page":"1-10","source":"Crossref","is-referenced-by-count":6,"title":["Redactor: Reconcile network control with declarative control programs In SDN"],"prefix":"10.1109","author":[{"family":"Wen Wang","sequence":"first","affiliation":[]},{"family":"Wenbo He","sequence":"additional","affiliation":[]},{"family":"Jinshu Su","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","article-title":"Nettle: Functional reactive programming for openflow networks","author":"voellmy","year":"2011","journal-title":"PADL"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/2535771.2535795"},{"key":"ref12","article-title":"Covisor: A compositional hyper-visor for software-defined networks","author":"jin","year":"2015","journal-title":"NSDI"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ICNP.2013.6733614"},{"key":"ref14","article-title":"Kinetic: Verifiable dynamic network control","author":"kim","year":"2015","journal-title":"NSDI"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/INM.2011.5990556"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/1592681.1592683"},{"key":"ref17","article-title":"Tierless programming and reasoning for software-defined networks","author":"nelson","year":"2014","journal-title":"NSDI"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/2534169.2486003"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/2342441.2342450"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/2620728.2620745"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ICNP.2009.5339690"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/2740070.2626298"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/2674005.2674989"},{"key":"ref8","doi-asserted-by":"crossref","DOI":"10.1145\/2034574.2034812","article-title":"Frenetic: A network programming language","author":"foster","year":"2011","journal-title":"SIGPLAN"},{"key":"ref7","article-title":"Composing software defined networks,'’","author":"monsanto","year":"2013","journal-title":"NSDI"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/2785956.2787506"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/2674005.2674992"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/2342441.2342451"},{"key":"ref20","article-title":"Declarative configuration manage-ment for complex and dynamic networks","author":"chen","year":"2010","journal-title":"Conext"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/2890955.2890970"}],"event":{"name":"2016 IEEE 24th International Conference on Network Protocols (ICNP)","start":{"date-parts":[[2016,11,8]]},"location":"Singapore","end":{"date-parts":[[2016,11,11]]}},"container-title":["2016 IEEE 24th International Conference on Network Protocols (ICNP)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7774710\/7784399\/07784433.pdf?arnumber=7784433","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,16]],"date-time":"2019-09-16T16:47:18Z","timestamp":1568652438000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7784433\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,11]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/icnp.2016.7784433","relation":{},"subject":[],"published":{"date-parts":[[2016,11]]}}}