作者	Nancy A.Lynch
出版社
出版时间	2004-01-01

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

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