DCDL:分布式控制描述语言，能以语言的方式完成对并发、进程间通信与同步和容错这3个基本功能的无二义的表达能力-DCDL: Distributed Control descr iption language, the language the way to completion of the complicated, inter-process communication and synchronization, and fault-t

本书向读者介绍了分布式系统特有的有关设计方面的一些内容。本书着重于设计的软件部分，因为大部分相应的硬件部分在许多有关计算机网络和并行计算机的教科书中都已得到很好的介绍。这本书中的所有高级设计和算法都使用建议的类CSP分布式控制描述语言（DCDL）表示（CSP代表通信顺序进程）。虽然这本书不可能覆盖分布式计算系统的所有问题，但我们的目标在于给出有关每个涉及到的问题的基本方面。-This book introduces readers to