分布式系统-形式化方法

【文件属性】：

文件名称：分布式系统-形式化方法

文件大小：880KB

文件格式：PDF

更新时间：2014-04-05 03:05:23

分布式系统

分组交换计算机通信网络是分布式系统的一个例子。随着小型和微型计算机的大规模出现，设计特殊用途的或通用的分布式系统成为可能。然而，必须开发新的技术和设计新的算法，以一种比较满意的方式来运行这样的分布式系统，因为新的问题必须解决。这篇文章分析了分布式系统的基本特征，并给出了它的基本原理和定义。