戴维·桑吉奥吉；大卫·沃克 演算：移动进程的理论。 （英语） Zbl 0981.68116号 剑桥：剑桥大学出版社。xii，580页（2001年）。 概要：移动系统具有通信和更改其结构的组件。这本书介绍了移动系统的理论-（pi）-演算，并展示了如何使用它精确地表示系统并严格地推理其行为。这本书既可以作为理论的参考，也可以作为如何使用pi演算来表示系统和分析其属性的扩展演示。它详细介绍了该理论，并重点介绍了证明技术。如何使用这些技术，既可以在构成理论一部分的结果的证明中看到，也可以在其示例应用中看到。这本书分为七部分。第一部分介绍了π演算并发展了它的基本理论。第二部分介绍了微积分的基本理论和重要子计算的变化。微积分的一个显著特点是其丰富的移动系统类型理论。第三部分介绍了这一理论，第四部分说明了它对理解和推理系统是如何有用的。第五部分研究了\（\pi\）-演算和\（\lambda\）-微积分之间的关系。第七部分展示了（pi）-演算的思想如何在面向对象的设计和编程中有用。这本书是以研究生水平编写的，面向对移动系统感兴趣的计算机科学家。它假定事先不熟悉pi演算：理论和它所依据的观点都是从一开始就被解释的。每一部分都以一些参考资料和相关主题的附加注释结尾。建议进行许多练习以帮助欣赏材料。这本书是由两位最初的微积分研究者写的。它以罗宾·米尔纳热情的序言开始，他创造并发展了这一理论。审核人：Jörg Desel（艾希斯特） 引用于267文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（过程代数、互模拟、转换网等） 68-02 与计算机科学有关的研究展览会（专著、调查文章） 68甲18 函数编程和lambda演算 关键词：移动系统；\（\pi\）-微积分 PDF格式BibTeX公司 XML格式引用 \textit{D.Sangiorgi}和\textit{D.Walker}，（pi\）-演算：移动进程理论。剑桥：剑桥大学出版社（2001；Zbl 0981.68116）