Formalizing Workflows Using the Event Calculus

Nihan Kesim Cicekli, Yakup Yildirim. Formalizing Workflows Using the Event Calculus. In Mohamed T. Ibrahim, Josef Küng, Norman Revell, editors, Database and Expert Systems Applications, 11th International Conference, DEXA 2000, London, UK, September 4-8, 2000, Proceedings. Volume 1873 of Lecture Notes in Computer Science, pages 222-231, Springer, 2000. [doi]

@inproceedings{CicekliY00,
  title = {Formalizing Workflows Using the Event Calculus},
  author = {Nihan Kesim Cicekli and Yakup Yildirim},
  year = {2000},
  url = {http://link.springer.de/link/service/series/0558/bibs/1873/18730222.htm},
  tags = {workflow},
  researchr = {https://researchr.org/publication/CicekliY00},
  cites = {0},
  citedby = {0},
  pages = {222-231},
  booktitle = {Database and Expert Systems Applications, 11th International Conference, DEXA 2000, London, UK, September 4-8, 2000, Proceedings},
  editor = {Mohamed T. Ibrahim and Josef Küng and Norman Revell},
  volume = {1873},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-67978-2},
}