{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T01:41:28Z","timestamp":1730252488148,"version":"3.28.0"},"reference-count":28,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,10,10]],"date-time":"2023-10-10T00:00:00Z","timestamp":1696896000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,10,10]],"date-time":"2023-10-10T00:00:00Z","timestamp":1696896000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,10,10]]},"DOI":"10.1109\/icnp59255.2023.10355631","type":"proceedings-article","created":{"date-parts":[[2023,12,20]],"date-time":"2023-12-20T19:18:50Z","timestamp":1703099930000},"page":"1-11","source":"Crossref","is-referenced-by-count":0,"title":["Correctness of EIGRP Generalized for Arbitrary Routing Metrics and Policies"],"prefix":"10.1109","author":[{"given":"Jo\u00e3o Lu\u00eds","family":"Sobrinho","sequence":"first","affiliation":[{"name":"Instituto de Telecomunicações and Instituto Superior Técnico, Universidade de Lisboa"}]},{"given":"Ricardo Pestana","family":"Santos","sequence":"additional","affiliation":[{"name":"Instituto de Telecomunicações and Instituto Superior Técnico, Universidade de Lisboa"}]}],"member":"263","reference":[{"volume-title":"Data Networks","year":"1991","author":"Bertsekas","key":"ref1"},{"issue":"BGP-4","key":"ref2","doi-asserted-by":"crossref","DOI":"10.17487\/rfc4271","volume":"4","author":"Rekhter","year":"2006","journal-title":"A Border Gateway Protocol"},{"article-title":"Understand and Use the Enhanced Interior Gateway Routing Protocol","volume-title":"Cisco Systems","year":"2022","key":"ref3"},{"journal-title":"Ciscos Enhanced Interior Gateway Routing Protocol (EIGRP)","year":"2016","author":"Savage","key":"ref4"},{"issue":"1","key":"ref5","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0020-0190(80)90021-6","article-title":"Termination detection for diffusing computations","volume":"11","author":"Dijkstra","year":"1980","journal-title":"Information Processing Letters"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TCOM.1982.1095632"},{"issue":"1","key":"ref7","doi-asserted-by":"crossref","first-page":"130","DOI":"10.1109\/90.222913","article-title":"Loop-free routing using diffusing computations","volume":"1","author":"Garcia-Luna-Aceves","year":"1993","journal-title":"IEEE\/ACM Transactions on Networking"},{"volume-title":"Computer Networking: Problems and Solutions","year":"2018","author":"White","key":"ref8"},{"volume-title":"EIGRP: Introduction and Overview","year":"2020","author":"Moore","key":"ref9"},{"issue":"4","key":"ref10","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1109\/TNET.2002.801397","article-title":"Algebra and algorithms for QoS path computation and hop-by-hop routing in the Internet","volume":"10","author":"Sobrinho","year":"2002","journal-title":"IEEE\/ACM Transactions on Networking"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2005.857111"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(83)90014-X"},{"issue":"3","key":"ref13","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1145\/158439.158441","article-title":"An introduction to assertional reasoning for concurrent systems","volume":"25","author":"Shankar","year":"1993","journal-title":"ACM Computing Surveys"},{"issue":"3","key":"ref14","doi-asserted-by":"crossref","first-page":"872","DOI":"10.1145\/177492.177726","article-title":"The temporal logic of actions","volume":"16","author":"Lamport","year":"1994","journal-title":"ACM Trans. on Program-ming Languages and Systems"},{"issue":"3","key":"ref15","first-page":"1408","article-title":"Loop-free multipath routing using generalized diffusing computations","volume":"3","author":"Zaumen","year":"1998","journal-title":"Proc. IEEE IN-FOCOM"},{"key":"ref16","first-page":"1","article-title":"Thorp: Choosing ordered neighbors to attain efficient loop-free minimum-hop routing","volume-title":"Proc. IEEE International Symposium on Local and Metropolitan Area Networks","author":"Garcia-Luna-Aceves","year":"2022"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2003.815294"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/s1389-1286(99)00108-5"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/90.993304"},{"key":"ref20","first-page":"17","article-title":"On the correctness of IBGP configuration","volume-title":"Proc. ACM SIGCOMM, Pittsburgh, PA","author":"Griffin","year":"2002"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/ICNP.2007.4375839"},{"key":"ref22","first-page":"39","article-title":"Shedding light on the glue logic of Internet routing architecture","volume-title":"Proc. ACM SIGCOMM","author":"Le","year":"2008"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/comsnets.2010.5432000"},{"key":"ref24","first-page":"476","article-title":"Control plane compression","volume-title":"Proc. ACM SIGCOMM","author":"Beckett","year":"2018"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/LNET.2019.2913951"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2016.2567600"},{"issue":"6","key":"ref27","doi-asserted-by":"crossref","first-page":"1829","DOI":"10.1109\/TNET.2010.2049858","article-title":"Safe interdomain routing under diverse commercial agreements","volume":"18","author":"Liao","year":"2010","journal-title":"IEEE\/ACM Transactions on Networking"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1016\/j.comnet.2021.108292"}],"event":{"name":"2023 IEEE 31st International Conference on Network Protocols (ICNP)","start":{"date-parts":[[2023,10,10]]},"location":"Reykjavik, Iceland","end":{"date-parts":[[2023,10,13]]}},"container-title":["2023 IEEE 31st International Conference on Network Protocols (ICNP)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10355566\/10355569\/10355631.pdf?arnumber=10355631","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,14]],"date-time":"2024-03-14T17:42:16Z","timestamp":1710438136000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10355631\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,10,10]]},"references-count":28,"URL":"https:\/\/doi.org\/10.1109\/icnp59255.2023.10355631","relation":{},"subject":[],"published":{"date-parts":[[2023,10,10]]}}}