the pi-calculus: a theory of mobile processes [part1]

【文件属性】：

文件名称：the pi-calculus: a theory of mobile processes [part1]

文件大小：10MB

文件格式：RAR

更新时间：2013-05-24 07:54:09

pi-calculus, mobile processes

本书是介绍pi演算的全面教材。pi演算是刻画并行计算的基本理论，与lambda演算刻画串行计算相对。pi演算的特点是可描述可移动性。