摘要: Pi演算是一种描述和分析动态并发系统的计算模型。对Pi演算进行研究后,提出了以Pi演算作为工作流形式化的基础,并利用Pi演算对复杂分支和同步工作流模式进行了详细的描述。
郭小群,郝克刚,侯红,丁剑洁. 复杂分支和同步模式的Pi演算描述[J]. 计算机科学, 2010, 37(2): 139-140. https://doi.org/
GUO Xiao-qun,HAO Ke-gang,HOU Hong,DING Jian-jie. Formalizing Advanced Branching and Synchronization Patterns Using Pi Calculus[J]. Computer Science, 2010, 37(2): 139-140. https://doi.org/