Formalizing Advanced Branching and Synchronization Patterns Using Pi Calculus
Ding Jian-jie · 2010
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.