Specifying and Reasoning about Workflows with Path Constraints

Wenfei Fan, Scott Weinstein. Specifying and Reasoning about Workflows with Path Constraints. In Lucas Chi Kwong Hui, Dik Lun Lee, editors, Internet Applications, 5th International Computer Science Conference, ICSC 99, Hong Kong, China, December 13-15, 1999, Proceedings. Volume 1749 of Lecture Notes in Computer Science, pages 226-235, Springer, 1999.

Abstract

Abstract is missing.