Fault-Tolerant Message-Passing Distributed Systems. An Algorithmic Approach

容错分布式计算思路和算法：This book presents the most important fault-tolerant distributed programming abstractions and their associated distributed algorithms