中国科学院数学与系统科学研究院期刊网
一种基于π演算的行为建模形式化方法
仲辉;王维平;黄炎焱;李群
系统工程理论与实践 . 2009, (5): 175 -185 .  DOI: 10.12011/1000-6788(2009)5-175