基于Pi演算的并行编程语言
康辉, 王家琦, 梅芳

A parallel programming language based on Pi-calculus
KANG Hui, WANG Jia-qi, MEI Fang
Pinger语义树