Ismailcem Budak Arpinar, Sena Nural Arpinar, Ugur Halici, Asuman Dogac. Correctness of Workflow in the Presence of Concurrency. In Abraham Silberschatz, Peretz Shoval, editors, Next Generation Information Technologies and Systems (NGITS 97), Third International Workshop, Neve Ilan, Israel, June 30 - July 3, 1997. 1997.
Abstract is missing.