(美)南希·A.林奇

本书对分布式算法进行了全面介绍，包括同步模型、异步模型和部分同步模型，针对这些模型讨论互斥性、一致性和通信问题，为设计、实现和分析分布式算法提供了蓝图。本书对分布式算法领域的许多经典问题给出了多种解决算法或者不可能性结果，绝大部分的算法附有详细的证明过程，并且有精确的复杂度衡量。本书还配有大量习题，并在每章后列出了详细的参考文献。本书可作为高等院校计算机专业的研究生教材，尤其适合对计算机理论或体系