A mechanism for grid service composition behavior specification and verification

Jing Zhou, Guosun Zeng. A mechanism for grid service composition behavior specification and verification. Future Generation Comp. Syst., 25(3):378-383, 2009. [doi]

Abstract

Abstract is missing.