Jing Zhou, Guosun Zeng. A mechanism for grid service composition behavior specification and verification. Future Generation Comp. Syst., 25(3):378-383, 2009. [doi]
@article{ZhouZ09,
title = {A mechanism for grid service composition behavior specification and verification},
author = {Jing Zhou and Guosun Zeng},
year = {2009},
doi = {10.1016/j.future.2008.02.013},
url = {http://dx.doi.org/10.1016/j.future.2008.02.013},
tags = {composition},
researchr = {https://researchr.org/publication/ZhouZ09},
cites = {0},
citedby = {0},
journal = {Future Generation Comp. Syst.},
volume = {25},
number = {3},
pages = {378-383},
}