分布式Pi——演算

从利用自动柜员机在我们的银行户头取出现金到在线购物网站，交互式系统渗入了我们的日常生活。分布式系统很快已成为计算机科学中的标准，支持这些系统做为基础的技术，包括软件和硬件都是很先进的。但是为确保这些系统正确行为的设计原理和技术却处于更为原始的阶段。