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

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