db/journals/dpd/ArpinarHAD99.html Ismailcem Budak Arpinar Ugur Halici Sena Nural Arpinar Asuman Dogac Formalization of Workflows and Correctness Issues in the Presence of Concurrency. 199-248 1999 7 Distributed and Parallel Databases 2 db/journals/dpd/dpd7.html#ArpinarHAD99 http://kapis.www.wkap.nl/oasis.htm/202453 DPD/7/P199.pdf