分布式系统设计原理与应用

本书较全面地介绍了分布式系统设计中的一些重要的问题，内容有：形式化设计方法、并行计算、行为分析模型、互斥、死锁处理等。