doi dblp Communication and Agreement Abstractions for Fault-Tolerant Asynchronous Distributed Systems Michel Raynal