Goce Trajcevski, Chitta Baral, Jorge Lobo. Formalizing (and Reasoning About) the Specifications of Workflows. In Opher Etzion, Peter Scheuermann, editors, Cooperative Information Systems, 7th International Conference, CoopIS 2000, Eilat, Israel, September 6-8, 2000, Proceedings. Volume 1901 of Lecture Notes in Computer Science, pages 1-17, Springer, 2000. [doi]
Abstract is missing.