Formalization of Workflows and Correctness Issues in the Presence of Concurrency

Ismailcem Budak Arpinar, Ugur Halici, Sena Nural Arpinar, Asuman Dogac. Formalization of Workflows and Correctness Issues in the Presence of Concurrency. Distributed and Parallel Databases, 7(2):199-248, 1999. [doi]

Abstract

Abstract is missing.