由图灵奖获得者Milner教授与其合作者提出的演算,代表了迄今为止学术界对这一挑战的最为成功的回应.演算推广了通信进程演算(CCS),允许在通信中传递通道的名字. 这一看似简单的推广,使得演算能够描述通信拓扑结构的动态改变,具有强大的表达能力,同时又继承了CCS简洁优美的语义理论------互模拟.演算已经被应用到程序设计语言的设计、分布式系统的分析与验证等领域,产生了广泛的影响. 本书是关于演算的第一本专著.Milner教授通过大量的例子, 深入浅出地介绍了 演算的基本概念和理论. 穿插在全书各章的讨论中,处处闪烁着这位将其毕生精力倾注于计算机科学基础研究的大师对这门学科及其发展的精辟见解.我们希望中译本的出版能有助于国内读者,特别是研究生和年轻科研人员, 学习和掌握演算的基本原理, 并从中受到启发.