文件名称：the pi-calculus: a theory of mobile processes (缺页部分)
文件大小：509KB
文件格式：RAR
更新时间：2013-08-26 08:05:32
processes pi-calculus mobile
本书是介绍pi演算的全面教材。pi演算是刻画并行计算的基本理论，与lambda演算刻画串行计算相对。pi演算的特点是可描述可移动性。
【文件预览】：
[pi]missingpage26-27.pdf
[pi]missingpage60-61.pdf