By Topic

Using Pi-Calculus to Formalize Grid Workflow Parallel Computing Patterns

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

3 Author(s)
Li Zhan-jun ; Zhengzhou Inst. of Technol., Zhengzhou ; Huang Yong-zhong ; Guo Shao-zhong

The article analyzed the significance of formalizing grid workflow patterns and the advantage of using the Pi calculus to formalize. After that, it used the pi calculus to formalize the grid workflow patterns. On the foundation of lucubrating basic framework characteristics of grid workflow patterns and pi calculus theory, the paper proposed a rule of formalizing method. This method compared practicably with former ways in describing grid workflow, we can directly make use of the fruit of this paper with mature pi-tools to verify grid workflow system.

Published in:

Information Technology: New Generations, 2009. ITNG '09. Sixth International Conference on

Date of Conference:

27-29 April 2009