JiDong Ge, HaiYang Hu. Checking Order Constraints in Collaborative Workflow with Invariant Analysis. In Dickson K. W. Chiu, Ladjel Bellatreche, Hideyasu Sasaki, Ho-Fung Leung, Shing-Chi Cheung, HaiYang Hu, Jie Shao, editors, Web Information Systems Engineering - WISE 2010 Workshops - WISE 2010 International Symposium WISS, and International Workshops CISE, MBC, Hong Kong, China, December 12-14, 2010, Revised Selected Papers. Volume 6724 of Lecture Notes in Computer Science, pages 483-493, Springer, 2010. [doi]
Abstract is missing.