%0 Journal Article
%T 复杂分支和同步模式的pi演算描述
%A 郭小群
%A 郝克刚
%A 侯红
%A 丁剑洁？
%J 计算机科学
%D 2010
%X pi演算是一种描述和分析动态并发系统的计算模型。对pi演算进行研究后，提出了以pi演算作为工作流形式化的基础，并利用pi演算对复杂分支和同步工作流模式进行了详细的描述。
%K pi演算
%K 工作流模式
%K 形式化方法
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=100232&flag=1