基于π演算的工作流模型分析方法

检索

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

基于π演算的工作流模型分析方法

梁爱南;李长云;黄贤明;

Analysis Method for Workflow Model Based on π-calculus

LIANG Ai-nan; LI Chang-yun; HUANG Xian-ming;

计算机工程 . 2010, (06): 70 -72 . DOI: 10.3969/j.issn.1000-3428.2010.06.023