工作流模式的π演算建模研究
黄贤明,李长云,梁爱南
Modeling research for workflow patterns based on pi-calculus
HUANG Xian-ming,LI Chang-yun,LIANG Ai-nan
计算机工程与应用 . 2007, (17): 66 -68 .