D. Ancona, G. Lagorio, and E. Zucca, A Core Calculus for Java Exceptions, Proceedings of the ACM Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA), pp.16-30, 2001.

M. Ben-or, Another advantage of free choice: Completely asynchronous agreement prototols, Proceedings of the ACM Symposium on Principles of Distributed Computing (PODC), pp.27-30, 1983.

K. P. Birman, M. Hayden, O. Ozkasap, Z. Xiao, M. Budiu et al., Bimodal multicast, ACM Transactions on Computer Systems, vol.17, issue.2, pp.41-88, 1999.
DOI : 10.1145/312203.312207

P. Costa, M. Migliavacca, G. P. Picco, and G. Cugola, Epidemic algorithms for reliable content-based publish-subscribe: an evaluation, 24th International Conference on Distributed Computing Systems, 2004. Proceedings., pp.552-561, 2004.
DOI : 10.1109/ICDCS.2004.1281622

A. Demers, D. Greene, C. Hauser, W. Irish, J. Larson et al., Epidemic Algorithms for Replicated Database Maintenance, Proceedings of the ACM Symposium on Principles of Distributed Computing (PODC), pp.1-12, 1987.
DOI : 10.1145/43921.43922

P. Erdös and A. Rényi, On the evolution of random graphs, Mat. Kuttató. Int. Közl, vol.5, pp.17-60, 1960.

P. Eugster, Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless and Peer-to-Peer Networks, chapter Reliable Computing in Ad-hoc Networks, pp.219-230, 2005.

P. Eugster, R. Guerraoui, and P. Kouznetsov, ??Reliable Broadcast: A Probabilistic Measure of Broadcast Reliability, Proceedings of the IEEE International Conference on Distributed Computing Systems (ICDCS), pp.636-643, 2004.

I. Gupta, A. Kermarrec, and A. J. Ganesh, Efficient epidemic-style protocols for reliable and scalable multicast, 21st IEEE Symposium on Reliable Distributed Systems, 2002. Proceedings., pp.180-189, 2002.
DOI : 10.1109/RELDIS.2002.1180187

I. Gupta, R. Van-renesse, and K. P. Birman, Scalable fault-tolerant aggregation in large process groups, Proceedings International Conference on Dependable Systems and Networks, pp.433-442, 2001.
DOI : 10.1109/DSN.2001.941427

C. A. Hoare, An Axiomatic Basis for Computer Programming, Communications of the ACM, vol.12, issue.10, 1969.

K. Horowitz and D. Malkhi, Estimating network size from local information, Information Processing Letters, vol.88, issue.5, pp.237-243, 2003.
DOI : 10.1016/j.ipl.2003.08.011

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.5.5950

M. Jelasity, R. Guerraoui, A. Kermarrec, and M. Van-steen, The Peer Sampling Service: Experimental Evaluation of Unstructured Gossip-Based Implementations, Proceedings of Middleware, pp.79-98, 2004.
DOI : 10.1038/30918

R. Karp, C. Schindelhauer, S. Shenker, and B. Vöcking, Randomized rumor spreading, Proceedings 41st Annual Symposium on Foundations of Computer Science, pp.565-574, 2000.
DOI : 10.1109/SFCS.2000.892324

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.119.6813

A. Kermarrec, L. Massoulie, and A. J. Ganesh, Probabilistic reliable dissemination in large-scale systems, IEEE Transactions on Parallel and Distributed Systems, vol.14, issue.3, pp.248-258, 2003.
DOI : 10.1109/TPDS.2003.1189583

V. King and J. Saia, Choosing a random peer, Proceedings of the twenty-third annual ACM symposium on Principles of distributed computing , PODC '04, pp.125-130, 2004.
DOI : 10.1145/1011767.1011786

D. Kostoulas, D. Psaltoulis, I. Gupta, K. Birman, and A. Demers, Decentralized Schemes for Size Estimation in Large and Dynamic Groups, Fourth IEEE International Symposium on Network Computing and Applications, 2005.
DOI : 10.1109/NCA.2005.15

A. Mciver and C. Morgan, Abstraction, refinement and proof for probabilistic systems, 2005.

E. , L. Merrer, A. Kermarrec, and L. Massoulie, Peer to peer size estimation in large and dynamic networks: A comparative study, Proceedings of the IEEE International Symposium on High Performance Distributed Computing (HPDC), 2006.
URL : https://hal.archives-ouvertes.fr/inria-00070184

R. Van-renesse, K. P. Birman, and W. Vogels, Astrolabe, ACM Transactions on Computer Systems, vol.21, issue.2, pp.164-206, 2003.
DOI : 10.1145/762483.762485

R. Van-renesse, Y. Minsky, and M. Hayden, A Gossip-Style Failure Detection Service, Proceedings of Middleware, 1998.
DOI : 10.1007/978-1-4471-1283-9_4

S. Voulgaris, D. Gavidia, and M. Van-steen, CYCLON: Inexpensive Membership Management for Unstructured P2P Overlays, Journal of Network and Systems Management, vol.21, issue.6, 2005.
DOI : 10.1007/s10922-005-4441-x

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.133.4965

P. Wadler, The essence of functional programming, Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '92, pp.1-14, 1992.
DOI : 10.1145/143165.143169