Multiple states based temporal consistency for dynamic verification of fixed-time constraints in grid workflow systems, Concurrency and Computation: Practice and Experience (2006)

by J Chen, Y Yang