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
All About Maude: A High-Performance Logical Framework, Lecture Notes in Computer Science, vol.4350, 2007. ,
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
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
Reverse Engineering of eMule. An analysis of the implementation of Kademlia in eMule, 2006. ,
Semantics and pragmatics of Real-Time Maude, Higher-Order and Symbolic Computation, vol.1, issue.1???2 ,
DOI : 10.1007/s10990-007-9001-5
A formal specification of the Kademlia distributed hash table, Proceedings of the 10 Spanish Workshop on Programming Languages, PROLE 2010, pp.223-234, 2010. ,
Formal Specification of the Kademlia Routing Table and the Kad Routing Table in Maude, 2013. ,
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
A scalable contentaddressable network, ACM SIGCOMM Computer Communication Review -Proceedings of the 2001 SIGCOMM conference, pp.161-172, 2001. ,
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
Chord, ACM SIGCOMM Computer Communication Review, vol.31, issue.4, pp.149-160, 2001. ,
DOI : 10.1145/964723.383071