Elizabeth Latronico Paul S. Miner Philip Koopman Quantifying the Reliability of Proven SPIDER Group Membership Service Guarantees. 275-284 2004 conf/dsn/2004 DSN http://csdl.computer.org/comp/proceedings/dsn/2004/2052/00/20520275abs.htm db/conf/dsn/dsn2004.html#LatronicoMK04