Fault-Tolerant Message-Passing Distributed Systems

Part I: Introductory : Chapter: a Few Definitions and Two Examples.- Part II : I The Reliable Broadcast Communication Abstraction.- Reliable Broadcast in the Presence of Process Crash Failures.- Reliable Broadcast in the Presence of Process Crashes and Unreliable Channels.- Reliable Broadcast in the Presence of Byzantine Processes.- Part III : The Read/Write Register Communication Abstraction.- The Read/Write Register Abstraction.- Building Read/Write Registers Despite Asynchrony and Less Than Half of Processes Crash (t < n/2).- Circumventing the t < n/2 Read/Write Register Impossibility: the Failure Detector Approach.- A Broadcast Abstraction Suited to the Family of Read/Write Implementable Objects.- Atomic Read/Write Registers in the Presence of Byzantine Processes.- Part IV: Agreement in Synchronous Systems.- Consensus and Interactive Consistency in Synchronous Systems Prone to Process Crash Failures.- Expedite Decision in Synchronous Systems with Process Crash Failures.- Consensus Variants: Simultaneous Consensus and k-Set Agreement.- Non-blocking Atomic Commit in Synchronous Systems with Process Crash Failures.- Consensus in Synchronous Systems Prone to Byzantine Process Failures.- Part V: Agreement in Asynchronous Systems.- Implementable Agreement Abstractions Despite Asynchrony and a Minority of Process Crashes.- Consensus: Power and Implementability Limit in Crash-Prone Asynchronous Systems.- Implementing Consensus in Enriched Crash-Prone Asynchronous Systems.- Implementing Oracles in Asynchronous Systems with Process Crash Failures.- Implementing Consensus in Enriched Byzantine Asynchronous Systems.-Part VI : Appendix - Bibliography.-  Index.

Prof. Michel Raynal is among the top researchers in the world on the topic of distributed algorithms. He is a full professor at IRISA (Université de Rennes, France), where he founded in 1984 one of the very first research groups on Distributed Algorithms. He has been the principal investigator in numerous related research national and international projects, and he has been invited by many universities around the world to give lectures on distributed algorithms and distributed computing. He has over 400 academic publications on this topic, he has authored twelve books on related topics, and he was involved in all the key conferences in distributed computing. His current research interests include distributed algorithms, distributed computing systems, distributed computability and dependability, and the fundamental principles that underlie the design and construction of distributed computing systems. Michel Raynal is also Distinguished Chair Professor at the Polytechnic University of Hong Kong.