The major contributions of this book are that we have provided a set of new concepts, innovative methods and algorithms for temporal verification in grid workflow systems. With these, we can... This description may be from another edition of this product.