Zhan-jun Li, Yong-zhong Huang, Shao-zhong Guo. Using Pi-Calculus to Formalize Grid Workflow Parallel Computing Patterns. In Shahram Latifi, editor, Sixth International Conference on Information Technology: New Generations, ITNG 2009, Las Vegas, Nevada, 27-29 April 2009. pages 1568-1571, IEEE Computer Society, 2009. [doi]
Abstract is missing.