Formal Specification of the Kademlia and the Kad Routing Tables in Maude
From MaRDI portal
Publication:2848886
DOI10.1007/978-3-642-37635-1_14zbMath1394.68235WikidataQ124261228 ScholiaQ124261228MaRDI QIDQ2848886
Isabel Pita, María-Inés Fernández-Camacho
Publication date: 13 September 2013
Published in: Recent Trends in Algebraic Development Techniques (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-37635-1_14
68Q60: Specification and verification (program logics, model checking, etc.)
68Q42: Grammars and rewriting systems
68P05: Data structures
68M12: Network protocols
Uses Software