复杂分支和同步模式的Pi演算描述

摘要：

Pi演算是一种描述和分析动态并发系统的计算模型.对Pi演算进行研究后,提出了以Pi演算作为工作流形式化的基础,并利用Pi演算对复杂分支和同步工作流模式进行了详细的描述.

关键词：Pi演算、工作流模式、形式化方法

所属期刊栏目：37

分类号：TP311.52(计算技术、计算机技术)

资助基金：国家高可信研究开发计划2007AA010305

在线出版日期：2010-04-19（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：139-140,179