Formalization of Workflows and Correctness Issues in the Presence of Concurrency

  • April 18, 2024
by Arpinar B., Halici U., Arpinar S., Dogac A.
View PDF
Reference:
Arpinar B., Halici U., Arpinar S., Dogac A. Formalization of Workflows and Correctness Issues in the Presence of ConcurrencyIn Journal of Distributed and Parallel Databases, volume 7, no. 2, April, 1999, pp. 199 – 248
Bibtex Entry:
@Article{arpinarJDPD99,
  Title                    = {Formalization of Workflows and Correctness Issues in the Presence of Concurrency},
  Author                   = {Arpinar B. and Halici U. and Arpinar S. and Dogac A.},
  Journal                  = {Journal of Distributed and Parallel Databases},
  Year                     = {1999},

  Month                    = {April},
  Number                   = {2},
  Pages                    = {199 - 248},
  Volume                   = {7},

  Owner                    = {SRDC},
  Timestamp                = {2014.11.19},
  Url                      = {https://www.srdc.com.tr/share/publications/1999/dapd98.pdf}
}