Certification of compact low-stretch routing schemes

DOI10.4230/LIPICS.DISC.2017.6MaRDI QIDQ6487478zbMATH OpenFDO

Authors Alkida Balliu, Pierre Fraigniaud

Publication date 3 February 2023

Full work available at URL https://doi.org/10.4230/LIPICS.DISC.2017.6

zbMATH Keywords

compact routingdistributed verificationlocal computing

Mathematics Subject Classification ID

Network protocols (68M12)

Recommendations

• Compact Routing with Name Independence
• Compact routing schemes with improved stretch
• Publication:4733694
• A trade-off between space and efficiency for routing tables
• Compact routing schemes with low stretch factor

Cited in

(3)

• Truth in advertising, lightweight verification of route integrity
• On certifying distributed algorithms: problem of local correctness
• Network verification via routing table queries

This page was built for publication: Certification of compact low-stretch routing schemes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6487478)