English Advanced Fault-Tolerant Message-Passing Distributed Systems. An Algorithmic Approach Michel Raynal 2018 View book