移动版的CCS

PI calsulus 可以说是 CCS加上的移动的版本，表达能力很强，不过初学者会无法理解这个演算到底是干啥的，
本质上也是一门形式化语言。。。
建模 验证用的