R. Bakhshi and D. Gurov, Verification of Peer-to-peer Algorithms: A Case Study, Combined Proceedings of the Second International Workshop on Coordination and Organization, CoOrg 2006, and the Second International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems, pp.35-47, 2006.
DOI : 10.1016/j.entcs.2007.01.052

M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-oliet et al., All About Maude: A High-Performance Logical Framework, Lecture Notes in Computer Science, vol.4350, 2007.

S. Merz, T. Lu, and C. Weidenbach, Towards Verification of the Pastry Protocol using TLA+, 31st IFIP International Conference on Formal Techniques for Networked and Distributed Systems, 2011.
URL : https://hal.archives-ouvertes.fr/inria-00593523

P. Maymounkov and D. Mazì-eres, Kademlia: A Peer-to-Peer Information System Based on the XOR Metric, Revised Papers from the First International Workshop on Peer-to-Peer Systems, IPTPS 2001, pp.53-65, 2002.
DOI : 10.1007/3-540-45748-8_5

D. Mysicka, Reverse Engineering of eMule. An analysis of the implementation of Kademlia in eMule, 2006.

P. C. Olveczky and J. Meseguer, Semantics and pragmatics of Real-Time Maude, Higher-Order and Symbolic Computation, vol.1, issue.1???2
DOI : 10.1007/s10990-007-9001-5

I. Pita, A formal specification of the Kademlia distributed hash table, Proceedings of the 10 Spanish Workshop on Programming Languages, PROLE 2010, pp.223-234, 2010.

I. Pita and M. I. Camacho, Formal Specification of the Kademlia Routing Table and the Kad Routing Table in Maude, 2013.

I. Pita and A. Riesco, Specifying and Analyzing the Kademlia Protocol in Maude, 9th International Workshop on Rewriting Logic and its Applications, 2012.
DOI : 10.1007/978-3-319-25150-9_30

S. Ratnasamy, P. Francis, M. Handley, R. Karp, and S. Shenker, A scalable contentaddressable network, ACM SIGCOMM Computer Communication Review -Proceedings of the 2001 SIGCOMM conference, pp.161-172, 2001.

A. I. Rowstron and P. Druschel, Pastry: Scalable, Decentralized Object Location, and Routing for Large-Scale Peer-to-Peer Systems, Proceedings of the IFIP/ACM International Conference on Distributed Systems Platforms Heidelberg, pp.329-350, 2001.
DOI : 10.1007/3-540-45518-3_18

I. Stoica, R. Morris, D. Karger, M. F. Kaashoek, and H. Balakrishnan, Chord, ACM SIGCOMM Computer Communication Review, vol.31, issue.4, pp.149-160, 2001.
DOI : 10.1145/964723.383071