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]

Authors

Ismailcem Budak Arpinar

This author has not been identified. Look up 'Ismailcem Budak Arpinar' in Google

Ugur Halici

This author has not been identified. Look up 'Ugur Halici' in Google

Sena Nural Arpinar

This author has not been identified. Look up 'Sena Nural Arpinar' in Google

Asuman Dogac

This author has not been identified. Look up 'Asuman Dogac' in Google