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)

@article{DBLP:journals/dpd/ArpinarHAD99,
  author    = {Ismailcem Budak Arpinar and
               Ugur Halici and
               Sena Nural Arpinar and
               Asuman Dogac},
  title     = {Formalization of Workflows and Correctness Issues in the Presence
               of Concurrency},
  journal   = {Distributed and Parallel Databases},
  volume    = {7},
  number    = {2},
  year      = {1999},
  pages     = {199-248},
  ee        = {db/journals/dpd/ArpinarHAD99.html, http://kapis.www.wkap.nl/oasis.htm/202453},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

ACM SIGMOD Anthology

CDROM Version: Load the CDROM "Volume 5 Issue 1, SSD, DPD, SIGIR Forum, ..." and ...

Windows: Click the letter of your CD drive
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Mac: Click here
UNIX/LINUX: mount the CD and click on the path of your mount point:
/Anthology/An5-1 or /cdrom

DVD Version: Load ACM SIGMOD Anthology DVD 2" and ...

Windows: Click the letter of your CD drive
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Mac: Click here
UNIX/LINUX: mount the DVD and click on the path of your mount point:
/Anthology/aDVD2 or /dvd

Online Edition

Citation Page