Building Distributed Systems Using Mace

James W. Anderson
Ryan Braud
Ranjit Jhala
Amin Vahdat
Peer-to-Peer Computing (2009), pp. 91-92

Abstract