Formalizing multiple instance workflow patterns based on the π-calculus
Xianming Huang · Journal of Computer Applications · 2007
Multiple instance workflow patterns are important workflow patterns.The π-calculus is a kind of mobile process algebra which can be used to model concurrent and dynamic systems.Having done the research of the π-calculus,the π-calculus was proposed as a formal foundation for workflow,furthermore multiple instance workflow patterns were described by using the π-calculus in detail.