Sumit W. Sorde, Sanjeev K. Aggarwal, Jie Song, Melvin Koh, Simon See. Modeling and Verifying Non-DAG Workflows for Computational Grids. In 2007 IEEE International Conference on Services Computing - Workshops (SCW 2007), 9-13 July 2007, Salt Lake City, Utah, USA. pages 237-243, IEEE Computer Society, 2007. [doi]
Abstract is missing.