{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T10:04:50Z","timestamp":1725703490321},"reference-count":13,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,10,16]],"date-time":"2023-10-16T00:00:00Z","timestamp":1697414400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,10,16]],"date-time":"2023-10-16T00:00:00Z","timestamp":1697414400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CNS-1909450,CNS-2145242"],"award-info":[{"award-number":["CNS-1909450,CNS-2145242"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,10,16]]},"DOI":"10.1109\/mascots59514.2023.10387636","type":"proceedings-article","created":{"date-parts":[[2024,1,16]],"date-time":"2024-01-16T18:17:08Z","timestamp":1705429028000},"page":"1-4","source":"Crossref","is-referenced-by-count":0,"title":["Structural Semantics Management: an Application of the Chase in Networking"],"prefix":"10.1109","author":[{"given":"Anduo","family":"Wang","sequence":"first","affiliation":[{"name":"Temple University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mubashir","family":"Anwar","sequence":"additional","affiliation":[{"name":"UIUC"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fangping","family":"Lan","sequence":"additional","affiliation":[{"name":"Temple University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthew","family":"Caesar","sequence":"additional","affiliation":[{"name":"UIUC"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","article-title":"Onix: a distributed control platform for large-scale production networks","author":"Koponen","year":"2010","journal-title":"ser. OSDI\u2019"},{"key":"ref2","article-title":"A general approach to network con-figuration analysis","volume-title":"ser. NSDII5","author":"Fogel","year":"2015"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/2837614.2837657"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/3230543.3230583"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/1376916.1376938"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/320107.320115"},{"volume-title":"Foundations of Databases: The Logical Level","year":"1995","author":"Abiteboul","key":"ref7"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/3484266.3487391"},{"key":"ref9","first-page":"99","article-title":"Real time network policy checking using header space analysis","volume-title":"Proceedings of the 10th USENIX Conference on Networked Systems Design and Implementation, ser. nsdi13","author":"Kazemian"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/3544216.3544264"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-5643-5_10"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/1634.1886"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/38713.38724"}],"event":{"name":"2023 31st International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS)","start":{"date-parts":[[2023,10,16]]},"location":"Stony Brook, NY, USA","end":{"date-parts":[[2023,10,18]]}},"container-title":["2023 31st International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10387536\/10387538\/10387636.pdf?arnumber=10387636","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,18]],"date-time":"2024-01-18T01:54:58Z","timestamp":1705542898000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10387636\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,10,16]]},"references-count":13,"URL":"https:\/\/doi.org\/10.1109\/mascots59514.2023.10387636","relation":{},"subject":[],"published":{"date-parts":[[2023,10,16]]}}}