TY  - THES
AU  - Manchado Illán, Sara
A3  - Verdejo López, José Alberto
A3  - Pita Andreu, Pita Andreu, María Isabel
PY  - 2012
UR  - https://hdl.handle.net/20.500.14352/46492
AB  - Los sistemas peer-to-peer estructurados basan su funcionamiento en la implementación de una Tabla Hash Distribuida (THD), entre las cuales destacan: Kademlia, Chord, CAN y Pastry. Este documento presenta la especificación en Maude de un sistema...
LA  - spa
KW  - Chord
KW  - Maude
KW  - Especificación formal
KW  - Sistemas distribuidos
KW  - Peer-to-peer
KW  - Tabla HashDistribuida
KW  - formal analysis
KW  - distributed Systems
KW  - distributed hash table
TI  - Especificación y análisis del protocolo Chord en Maude
M3  - master thesis
ER  -