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
Verifying a structured peerto-peer overlay network: The static case, Global Computing, 2005. ,
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
Dynamo: amazon's highly available key-value store, SOSP, pp.205-220, 2007. ,
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
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
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
VON: a scalable peer-to-peer network for virtual environments, Network IEEE, vol.20, issue.4, pp.22-31, 2006. ,
Cassandra, ACM SIGOPS Operating Systems Review, vol.44, issue.2, pp.35-40, 2010. ,
DOI : 10.1145/1773912.1773922
Application-layer multicasting with delaunay triangulation overlays. Selected Areas in Communications, IEEE Journal on, vol.20, issue.8, pp.1472-1488, 2002. ,
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
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
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 Scalable Content-Addressable Network, SIGCOMM, pp.161-172, 2001. ,
Application-Level Multicast Using Content-Addressable Networks, 2001. ,
DOI : 10.1007/3-540-45546-9_2
A Rigorous Approach to Networking: TCP, from Implementation to Protocol to Service, 2008. ,
DOI : 10.1007/978-3-540-68237-0_21
Verifying distributed systems: the operational approach, POPL, p.429, 2009. ,
Mechanical verification of distributed algorithms in higher-order logic, The Computer Journal, vol.38, issue.2, p.152, 1995. ,
Using lightweight modeling to understand chord, ACM SIGCOMM Computer Communication Review, vol.42, issue.2, pp.49-57, 2012. ,
DOI : 10.1145/2185376.2185383