2 papers
cs.NI2021
Formally Verified Convergence of Policy-Rich DBF Routing Protocols
Matthew L. Daggitt, Timothy G. Griffin
In this paper we present new general convergence results about the behaviour of the Distributed Bellman-Ford (DBF) family of routing protocols, which includes distance-vector proto…
cs.DC2020
Dynamic Asynchronous Iterations
Matthew L. Daggitt, Timothy G. Griffin
Many problems can be solved by iteration by multiple participants (processors, servers, routers etc.). Previous mathematical models for such asynchronous iterations assume a single…