Shao-zhong Guo

Learn More
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(More)
Due to the complexity and varying requirements of the applications to utilize large-scale computing resources, there are several issues such as aggregating heterogeneous computing resources, easy-to-use programming model and fault-tolerant mechanism that need to be addressed. This paper presents a general distributed parallel processing architecture based(More)
  • 1