Formalizing Advanced Branching and Synchronization Patterns Using Pi Calculus
复杂分支和同步模式的Pi演算描述

Pi calculus is a computer model which can be used to model concurrent and dynamic systems.The Pi calculus was proposed as a formal foundation for workflow after researching Pi calculus,further more advanced branching and synchronization patterns workflow patterns were described by using the Pi calculus in detail.