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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.