www.prismmodelchecker.org
[JGKS07] M. Jelasity and S. Voulgaris and R. Guerraoui and A.-M. Kermarrec and M. van Steen. Gossip-based peer sampling. ACM Trans. Computer Systems, 25(3). 2007.
Links: [Google] [Google Scholar]

Publications