本书的内容按照系统模型组织，首先是根据定时模型，然后在定时模型内再根据进程间的通信机制。不同系统的材料分别独立成章，便于查阅。本书论述十分严谨，但又很直观，便于读者迅速理解。本书也为读者提供设计新的算法和证明新的不可能解的基本数学工具。

本书对分布式算法进行全面介绍，包括最为重要的算法和不可能性结果。绝大部分的解都给出了数学证明。这些算法都很根据精确定义的复杂度衡量方法进行分析。本书还讲述针对许多典型问题的算法、各类系统模型及其能力。章后提供大量习题并列出了详细的参考文献。本书可作为高等院校计算机系统研究生的教材，尤其适合对计算机理论或体系结构感兴趣的学生学习，还适合分布式设计人员、研究人员及其相关技术人员参考。

Nancy A.Lynch是麻省理工学院电子工程和计算机科学系的教授，领导麻省理工学院的分布式系统理论研究组。在分布式算法和不可能解以及分布式系统的形式化建模和证明方面，她编写了大量的著作。

出版者的话
专家指导委员会
译者序
前言
第1章 引言
第一部分 同步网络算法
第2章 建模I：同步网络模型
第3章 同步环中的领导者选择
第4章 一般同步网络中的算法
第5章 链路故障时的分布式一致性
第6章 进程故障下的分布式一致性
第7章 更多的一致性问题
第二部分 异步算法
第8章 建模II：异步系统模型
第二部分A：异步共享存储器算法
第9章 建模III：异步共享存储器模型
第10章 互斥
第11章 资源分配
第12章 一致性
第13章 原子对象
第二部分B：异步网络算法
第14章 建模IV：异步网络模型
第15章 基本异步网络算法
第16章 同步器
第17章 共享存储器与网络
第18章 逻辑时间
第19章 一致全局快照和稳定属性检测
第20章 网络资格分配
第21章 带进程故障的异步网络计算
第22章 数据链路协议
第三部分 部分同步算法
第23章 建模V：部分同步系统模型
第24章 部分同步的互斥
第25章 部分同步的一致性
参考文献
索引