R. Bakhshi and D. Gurov, Verification of Peer-to-peer Algorithms: A Case Study, Electronic Notes in Theoretical Computer Science, vol.181, pp.35-47, 2007.
DOI : 10.1016/j.entcs.2007.01.052

J. Borgström, U. Nestmann, L. Onana, and D. Gurov, Verifying a structured peerto-peer overlay network: The static case, Global Computing, 2005.

B. Charron-bost and S. Merz, Formal verification of a consensus algorithm in the heard-of model, Int. J. Software and Informatics, vol.3, issue.2, 2009.
URL : https://hal.archives-ouvertes.fr/inria-00426388

G. Decandia, D. Hastorun, M. Jampani, G. Kakulapati, A. Lakshman et al., Dynamo: amazon's highly available key-value store, SOSP, pp.205-220, 2007.

H. Guo, M. Wu, L. Zhou, G. Hu, J. Yang et al., Practical software model checking via dynamic interface reduction, Proceedings of the Twenty-Third ACM Symposium on Operating Systems Principles, SOSP '11, pp.265-278, 2011.
DOI : 10.1145/2043556.2043582

A. Gupta, O. D. Sahin, D. Agrawal, and A. E. Abbadi, Meghdoot: Content-Based Publish/Subscribe over P2P Networks, Proceedings of the 5th ACM/IFIP/USENIX international conference on Middleware, pp.254-273
DOI : 10.1007/3-540-45518-3_18

Q. Haiyan, Testing and Proving Distributed Algorithms in Constructive Type Theory, Proceedings of the 1st international conference on Tests and proofs, 2007.
DOI : 10.1007/978-3-540-73770-4_5

S. Y. Hu, J. F. Chen, and T. H. Chen, VON: a scalable peer-to-peer network for virtual environments, Network IEEE, vol.20, issue.4, pp.22-31, 2006.

A. Lakshman and P. Malik, Cassandra, ACM SIGOPS Operating Systems Review, vol.44, issue.2, pp.35-40, 2010.
DOI : 10.1145/1773912.1773922

J. Liebeherr, M. Nahas, and W. Si, Application-layer multicasting with delaunay triangulation overlays. Selected Areas in Communications, IEEE Journal on, vol.20, issue.8, pp.1472-1488, 2002.

T. Lu, S. Merz, and C. Weidenbach, Towards Verification of the Pastry Protocol Using TLA???+???, FMOODS/FORTE, pp.244-258, 2011.
DOI : 10.1007/3-540-48153-2_6

URL : https://hal.archives-ouvertes.fr/inria-00593523

S. Merz and H. Vanzetto, Automatic Verification of TLA???+??? Proof Obligations with SMT Solvers, Proceedings LPAR-18, 2012.
DOI : 10.1007/978-3-642-28717-6_23

URL : https://hal.archives-ouvertes.fr/hal-00760570

T. Nipkow, M. Wenzel, and L. C. Paulson, Isabelle/HOL: a proof assistant for higher-order logic, Lecture Notes In Computer Science, vol.2283, p.205, 2002.
DOI : 10.1007/3-540-45949-9

S. Ratnasamy, P. Francis, M. Handley, R. Karp, and S. Shenker, A Scalable Content-Addressable Network, SIGCOMM, pp.161-172, 2001.

S. Ratnasamy, M. Handley, R. Karp, and S. Shenker, Application-Level Multicast Using Content-Addressable Networks, 2001.
DOI : 10.1007/3-540-45546-9_2

T. Ridge, M. Norrish, and P. Sewell, A Rigorous Approach to Networking: TCP, from Implementation to Protocol to Service, 2008.
DOI : 10.1007/978-3-540-68237-0_21

T. Ridge, Verifying distributed systems: the operational approach, POPL, p.429, 2009.

C. Ching-tsun, Mechanical verification of distributed algorithms in higher-order logic, The Computer Journal, vol.38, issue.2, p.152, 1995.

P. Zave, Using lightweight modeling to understand chord, ACM SIGCOMM Computer Communication Review, vol.42, issue.2, pp.49-57, 2012.
DOI : 10.1145/2185376.2185383