E. A. Ashcroft, Proving assertions about parallel programs, Journal of Computer and System Sciences, vol.10, issue.1, pp.110-135, 1975.
DOI : 10.1016/S0022-0000(75)80018-3
URL : http://doi.org/10.1016/s0022-0000(75)80018-3

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

M. Castro, P. Druschel, A. M. Kermarrec, and A. I. Rowstron, Scribe: a large-scale and decentralized application-level multicast infrastructure, IEEE Journal on Selected Areas in Communications, vol.20, issue.8, pp.1489-1499, 2002.
DOI : 10.1109/JSAC.2002.803069

M. Castro, M. Costa, and A. Rowstron, Peer-to-peer overlays: Structured, Unstructured, or Both, 2004.

Y. Chu, S. G. Rao, S. Seshan, and H. Zhang, A case for end system multicast . Selected Areas in Communications, IEEE Journal on, vol.20, issue.8, pp.1456-1471, 2002.

S. Deering and D. Cheriton, Multicast routing in datagram internetworks and extended LANs, ACM Transactions on Computer Systems, vol.8, issue.2, pp.85-110, 1990.
DOI : 10.1145/78952.78953

S. El-ansary, L. Alima, P. Brand, and S. Haridi, Efficient broadcast in structured P2P networks. In Peer-to-Peer Systems II, pp.304-314, 2003.

A. Ghodsi, Distributed k-ary System: Algorithms for Distributed Hash Tables. Thesis, KTH -Royal Institute of Technology, 2006.

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, 2004.
DOI : 10.1007/3-540-45518-3_18
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.167.3996

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

T. Lu, S. Merz, and C. Weidenbach, Model checking the pastry routing protocol, 10th International Workshop on Automated Verification of Critical Systems (AVoCS'10), 2010.
URL : https://hal.archives-ouvertes.fr/inria-00540811

P. Manzanares-lopez, J. Malgosa-sanahuja, J. P. Muñoz-gea, and J. C. Sanchez-aarnoutse, Multicast Services over Structured P2P Networks. Handbook of Peer-to-Peer Networking, pp.875-896, 2010.
DOI : 10.1007/978-0-387-09751-0_31

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

A. Pnueli, The temporal logic of programs, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977), pp.46-57, 1977.
DOI : 10.1109/SFCS.1977.32

S. Ratnasamy, M. Handley, R. Karp, and S. Shenker, Application-Level Multicast Using Content-Addressable Networks, pp.14-29, 2001.
DOI : 10.1007/3-540-45546-9_2
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.11.1973

S. Ratnasamy, P. Francis, M. Handley, R. Karp, and S. Shenker, A Scalable Content-Addressable Network, Proceedings of the 2001 Conference on Applications, Technologies, Architectures, and Protocols for Computer Communications (SIGCOMM), pp.161-172, 2001.

T. Ridge, M. Norrish, and P. Sewell, A rigorous approach to networking: TCP, from implementation to protocol to service. FM 2008: Formal Methods, pp.294-309, 2008.

T. Ridge, Verifying distributed systems: the operational approach, Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages -POPL '09, p.429, 2009.

A. Rowstron and P. Druschel, Pastry: Scalable, Decentralized Object Location, and Routing for Large-Scale Peer-to-Peer Systems, Middleware, 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: A Scalable Peer-to-Peer Lookup Service for Internet Applications, Proceedings of the 2001 Conference on Applications, Technologies, Architectures, and Protocols for Computer Communications (SIGCOMM), pp.149-160, 2001.
DOI : 10.1109/tnet.2002.808407
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.11.7643

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

P. Zave, Lightweight verification of network protocols: The case of chord. Unpublished, 2009.

Q. Shelley, B. Y. Zhuang, A. D. Zhao, R. H. Joseph, J. D. Katz et al., Bayeux: an architecture for scalable and faulttolerant wide-area data dissemination, Proceedings of the 11th international workshop on Network and operating systems support for digital audio and video, pp.11-20, 2001.