Communication And Agreement Abstractions For Fault-Tolerant Asnychronous Distributed Systems by Michel Raynal