Matthew Hennessy

A Distributed Pi睠alculus

2007, 259pp.

Hardcover

ISBN 9780521873307

M.亨西尼著

从利用自动柜员机在我们的银行户头取出现金到在线购物网站，交互式系统渗入了我们的日常生活。分布式系统很快已成为计算机科学中的标准，支持这些系统做为基础的技术，包括软件和硬件都是很先进的。但是为确保这些系统正确行为的设计原理和技术却处于更为原始的阶段。为这些研究活动准备坚实的基础，系统行为数学模型及相关的推理工具已经成为过去20年中理论计算机科学的中心课题。一种方法是形式演算的设计，利用它来描述和研究作为交互式系统基础的基本概念。通讯系统演算可能是为了研究交互式系统提出的第一个演算。这种演算由两部分组成，一部分根据它们的结构描述系统的简单形式语言，它们是怎样从单个但是互相连接的组件构成的；第二部分语义理论，该理论寻求依据这些系统与用户交互的能力对用该语言所描述的系统行为的理解。尽管CCS是成功的，但它只能描述非常有限范围的系统，最重要的约束是对于任何一个具体的系统，它的连接布局必须是不变的。然而现代交互式系统是高度动态的，其中的计算实体或代理是高度移动的。Pi－演算是从CCS发展而来的，它试图至少涉及这些代理的某些动态方面，特别是它包括了通讯信道的动态生成，这样使得作为基础的连接布局能随着系统的演化而变化。

本书的目的是对Pi－演算加以拓展，提出了一种叫做ADPI的分布式Pi－演算，它被用来描述在分布世界中移动代理的行为，是建立在现有的形式语言Pi－演算的基础上，增加了网络层和一个基本的迁移结构。……