Los sistemas peer-to-peer estructurados basan su funcionamiento en la implementación de una Tabla Hash Distribuid, entre las que destacan: Kademlia, Chord, CAN y Pastry. Este documento presenta la especificación en Maude de un sistema peer-to-peer implementado con la Tabla Hash Distribuida Chord.
Chord organiza su espacio de identificadores utilizando un anillo, donde cada nodo es responsable de un conjunto de claves las cuales se reasignan cuando un nodo entra o sale a la red. Además, cada nodo mantiene una tabla de encaminamiento, denominada tabla finger, utilizada para llevar a cabo el algoritmo de búsqueda. La especificación implementada ha sido diseñada para la compartición de archivos, de forma que los nodos puedan conectarse de la red, desconectarse de la red, publicar un fichero o buscar un fichero en un máximo de log n saltos, siendo n el número de nodos que conforman la red.