Michel Raynal Communication and Agreement Abstractions for Fault-Tolerant Asynchronous Distributed Systems Подробнее