1.4 参考文献注释

书中材料的主要来源是学术文献，特别是在计算机协会（ACM）的分布式计算原理（PODC）年会论文集上发表的论文。在这一领域包含大量论文的其他年会论文集包括计算机科学原理（FOCS）、计算理论（STOC）、并行算法和体系结构（SPAA）以及分布式算法（WDAG）。其中很多内容已经出现在一些计算机科学杂志中，如Journal of the ACM、Distributed Computing、Information and Computation、SIAM Journal on Computing、Acta Informatica和Information Processing Letters。这些论文中的结论是根据大量不同的模型和以不同的严密程度来描述的。

以前已经有过几次对这一领域的资料进行收集和总结的尝试。在Handbook of Theoretical Computer Science[185]中，由Lamport和Lynch写的有关分布式计算的章节综述了一些建模和算法的思想。Raynal的两本书[249，250]分别描述了互斥算法和异步网络算法。Raynal和Helary的另一本书[251]给出了网络同步器的有关结论。Chandy和Misra[69]用UNITY编程模型给出了大量的分布式算法。Tel[276]表达了本领域的另一种观点。

对于同步共享存储器系统的PRAM模型的结论，被Karp和Ramachandran[166]收集在论文中。对于固定连接的网络的同步并行算法，Leighton[193]在一本书中作了总结。对于分布式数据处理系统的并发控制和恢复，Lynch、Merritt、Weihl和Fekete[207]，以及Bernstein、Hadzilacos和Goodman[50]提出了许多算法。Hadzilacos和Toueg[143]给出了分布式系统的实现结果，它们基于具有原子广播原语的通信系统。

本书用到了许多图论中的概念。相关的标准参考资料是Harary[147]的经典著作。