TY  - RPRT
AU  - Pita Andreu, María Isabel
AU  - Riesco Rodríguez, Adrián
PY  - 2017
UR  - https://hdl.handle.net/20.500.14352/22917
AB  - Kademlia is the most popular peer-to-peer distributed hash table (DHT) currently in use. It offers a number of desirable features that result from the use of a notion of distance between objects based on the bitwise exclusive or of n-bit quantities...
LA  - eng
KW  - Kademlia
KW  - Distributed specification
KW  - Formal analysis
KW  - Maude
KW  - Real-Time Maude
TI  - A Maude specification of the Kademlia distributed hash table: centralized version
TY  - technical report
ER  -