{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,9,4]],"date-time":"2023-09-04T22:36:07Z","timestamp":1693866967461},"reference-count":13,"publisher":"Open Publishing Association","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electron. Proc. Theor. Comput. Sci.","EPTCS"],"DOI":"10.4204\/eptcs.142.8","type":"journal-article","created":{"date-parts":[[2014,3,28]],"date-time":"2014-03-28T02:37:00Z","timestamp":1395974220000},"page":"8-23","source":"Crossref","is-referenced-by-count":6,"title":["Toward Synthesis of Network Updates"],"prefix":"10.4204","volume":"142","author":[{"given":"Andrew","family":"Noyes","sequence":"first","affiliation":[{"name":"Cornell University"}]},{"given":"Todd","family":"Warszawski","sequence":"additional","affiliation":[{"name":"Cornell University"}]},{"given":"Pavol","family":"\u010cern\u00fd","sequence":"additional","affiliation":[{"name":"University of Colorado Boulder"}]},{"given":"Nate","family":"Foster","sequence":"additional","affiliation":[{"name":"Cornell University"}]}],"member":"2720","published-online":{"date-parts":[[2014,3,28]]},"reference":[{"key":"CCG08","doi-asserted-by":"publisher","first-page":"304","DOI":"10.1145\/1375581.1375619","article-title":"Inferring locks for atomic sections","volume-title":"PLDI","author":"Cherem","year":"2008"},{"key":"CCGGPRST02","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1007\/3-540-45657-0_29","article-title":"NuSMV 2: An OpenSource Tool for Symbolic Model Checking","volume-title":"CAV","author":"Cimatti","year":"2002"},{"key":"francois:07","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2007.902686","article-title":"Avoiding transient loops during the convergence of link-state routing protocols","author":"Francois","year":"2007","journal-title":"IEEE\/ACM Trans. on Networking"},{"key":"francois-bgp","doi-asserted-by":"publisher","DOI":"10.1109\/TNSM.2007.021102","article-title":"Avoiding disruptions during maintenance operations on BGP sessions","author":"Francois","year":"2007","journal-title":"IEEE Trans. on Network and Service Management"},{"key":"francois-igp","doi-asserted-by":"publisher","DOI":"10.1109\/INFCOM.2007.19","article-title":"Disruption-free topology reconfiguration in OSPF Networks","volume-title":"INFOCOM","author":"Francois","year":"2007"},{"key":"consensus","article-title":"Consensus Routing: The Internet as a Distributed System","volume-title":"NSDI","author":"John","year":"2008"},{"key":"kushman:r-bgp","article-title":"R-BGP: staying connected In a connected world","volume-title":"NSDI","author":"Kushman","year":"2007"},{"issue":"4","key":"raza:11","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2010.2097604","article-title":"Graceful Network State Migrations","volume":"19","author":"Raza","year":"2011","journal-title":"IEEE\/ACM Transactions on Networking"},{"key":"frenetic-consistent-updates","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1145\/2342356.2342427","article-title":"Abstractions for Network Update","volume-title":"ACM SIGCOMM Conference on Communications Architectures, Protocols and Applications (SIGCOMM) , Helsinki, Finland","author":"Reitblatt","year":"2012"},{"key":"SJB08","doi-asserted-by":"publisher","first-page":"136","DOI":"10.1145\/1379022.1375599","article-title":"Sketching concurrent data structures","volume-title":"PLDI","author":"Solar-Lezama","year":"2008"},{"key":"vanbever:11","doi-asserted-by":"publisher","DOI":"10.1145\/2018436.2018473","article-title":"Seamless Network-Wide IGP Migration","volume-title":"SIGCOMM","author":"Vanbever","year":"2011"},{"key":"VY08","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1145\/1375581.1375598","article-title":"Deriving linearizable fine-grained concurrent objects","volume-title":"PLDI","author":"Vechev","year":"2008"},{"key":"VYY10","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1145\/1706299.1706338","article-title":"Abstraction-guided synthesis of synchronization","volume-title":"POPL","author":"Vechev","year":"2010"}],"container-title":["Electronic Proceedings in Theoretical Computer Science"],"original-title":[],"language":"en","deposited":{"date-parts":[[2014,4,1]],"date-time":"2014-04-01T00:36:09Z","timestamp":1396312569000},"score":1,"resource":{"primary":{"URL":"http:\/\/arxiv.org\/abs\/1403.7840v1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,3,28]]},"references-count":13,"URL":"https:\/\/doi.org\/10.4204\/eptcs.142.8","relation":{},"ISSN":["2075-2180"],"issn-type":[{"value":"2075-2180","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,3,28]]}}}