{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,23]],"date-time":"2026-10-23T23:13:47Z","timestamp":1792797227612,"version":"4.5.0"},"reference-count":41,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"2","license":[{"start":{"date-parts":[[2024,4,1]],"date-time":"2024-04-01T00:00:00Z","timestamp":1711929600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2024,4,1]],"date-time":"2024-04-01T00:00:00Z","timestamp":1711929600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,4,1]],"date-time":"2024-04-01T00:00:00Z","timestamp":1711929600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"name":"Engineering and Physical Sciences Research Council (EPSRC) Doctoral Training","id":[{"id":"https:\/\/ror.org\/0439y7842","id-type":"ROR","asserted-by":"crossref"}]},{"name":"EPSRC AI Explainable and Secure by Construction"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE\/ACM Trans. Networking"],"published-print":{"date-parts":[[2024,4]]},"DOI":"10.1109\/tnet.2023.3326336","type":"journal-article","created":{"date-parts":[[2023,11,21]],"date-time":"2023-11-21T15:31:06Z","timestamp":1700580666000},"page":"1645-1660","source":"Crossref","is-referenced-by-count":5,"title":["Formally Verified Convergence of Policy-Rich DBF Routing Protocols"],"prefix":"10.1109","volume":"32","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2552-3671","authenticated-orcid":false,"given":"Matthew L.","family":"Daggitt","sequence":"first","affiliation":[{"name":"School of Mathematical and Computer Sciences, Heriot-Watt University, Edinburgh, U.K"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Timothy G.","family":"Griffin","sequence":"additional","affiliation":[{"name":"Department of Computer Science and Technology, University of Cambridge, Cambridge, U.K"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","volume":"41","author":"Gondran","year":"2008","journal-title":"Graphs, Dioids and Semirings: New Models and Algorithms"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.2200\/s00245ed1v01y201001cnt003"},{"key":"ref3","volume-title":"Data Networks","volume":"2","author":"Bertsekas","year":"1992"},{"key":"ref4","doi-asserted-by":"crossref","DOI":"10.17487\/rfc4271","volume-title":"A Border Gateway Protocol 4 (BGP-4)","author":"Rekhter","year":"2006"},{"issue":"1","key":"ref5","first-page":"1","article-title":"Interconnection, peering and settlements: Part I","volume":"2","author":"Huston","year":"1999","journal-title":"Internet Protocol J."},{"issue":"2","key":"ref6","first-page":"1","article-title":"Interconnection, peering and settlements: Part II","volume":"2","author":"Huston","year":"1999","journal-title":"Internet Protocol J."},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/90.974523"},{"key":"ref8","article-title":"Routing in equilibrium","author":"Sobrinho","year":"2010","journal-title":"Mathematical Theory of Networks and System"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2005.857111"},{"key":"ref10","doi-asserted-by":"crossref","DOI":"10.17487\/rfc3345","volume-title":"Border Gateway Protocol (BGP) Persistent Route Oscillation Condition","author":"McPherson","year":"2002"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/S1389-1286(99)00108-5"},{"key":"ref12","doi-asserted-by":"crossref","DOI":"10.17487\/rfc4264","volume-title":"BGP Wedgies","author":"Griffin","year":"2005"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/1159913.1159957"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/3387514.3405864"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ICNP.2007.4375842"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/JCN.2017.000028"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/3149.214121"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629596"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/2578855.2535841"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/1538788.1538814"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462178"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/3098822.3098833"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/1481861.1481862"},{"key":"ref24","volume-title":"Agda Routing Library","author":"Daggitt","year":"2021"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1016\/j.jpdc.2022.03.013"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/3230543.3230561"},{"key":"ref27","article-title":"An algebraic perspective on the convergence of vector-based routing protocols","author":"Daggitt","year":"2019"},{"key":"ref28","doi-asserted-by":"crossref","DOI":"10.17487\/rfc2453","volume-title":"Rip Version 2","author":"Malkin","year":"1998"},{"key":"ref29","doi-asserted-by":"crossref","DOI":"10.17487\/RFC7868","volume-title":"Cisco\u2019s Enhanced Interior Gateway Routing Protocol (EIGRP)","author":"Savage","year":"2016"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/79147.79162"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1093\/imamat\/7.3.273"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.17487\/rfc0768"},{"key":"ref33","doi-asserted-by":"crossref","DOI":"10.17487\/rfc1997","volume-title":"BGP Communities Attribute","author":"Chandra","year":"1996"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1007\/s13119-011-0003-6"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/ICNP.2002.1181389"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/ICNP.2018.00049"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1145\/2486001.2486019"},{"key":"ref38","doi-asserted-by":"crossref","DOI":"10.17487\/RFC7938","volume-title":"Use of BGP for Routing in Large-Scale Data Centers","author":"Lapukhov","year":"2016"},{"key":"ref39","first-page":"65","article-title":"Running BGP in data centers at scale","volume-title":"Proc. Symp. Networked Syst. Design Implement.","author":"Abhashkumar"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1145\/2934872.2934909"},{"key":"ref41","article-title":"Asynchronous iterations in ultrametric spaces","author":"Gurney","year":"2017","journal-title":"arXiv:1701.07434"}],"container-title":["IEEE\/ACM Transactions on Networking"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/90\/10505042\/10325526.pdf?arnumber=10325526","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,19]],"date-time":"2024-04-19T13:37:02Z","timestamp":1713533822000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10325526\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,4]]},"references-count":41,"journal-issue":{"issue":"2"},"URL":"https:\/\/doi.org\/10.1109\/tnet.2023.3326336","relation":{},"ISSN":["1063-6692","1558-2566"],"issn-type":[{"value":"1063-6692","type":"print"},{"value":"1558-2566","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,4]]}}}