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