Specifying and Reasoning about Workflows with Path Constraints

Wenfei Fan, Scott Weinstein. Specifying and Reasoning about Workflows with Path Constraints. In Lucas Chi Kwong Hui, Dik Lun Lee, editors, Internet Applications, 5th International Computer Science Conference, ICSC 99, Hong Kong, China, December 13-15, 1999, Proceedings. Volume 1749 of Lecture Notes in Computer Science, pages 226-235, Springer, 1999.

@inproceedings{FanW99,
  title = {Specifying and Reasoning about Workflows with Path Constraints},
  author = {Wenfei Fan and Scott Weinstein},
  year = {1999},
  tags = {constraints, workflow},
  researchr = {https://researchr.org/publication/FanW99},
  cites = {0},
  citedby = {0},
  pages = {226-235},
  booktitle = {Internet Applications, 5th International Computer Science Conference, ICSC 99, Hong Kong, China, December 13-15, 1999, Proceedings},
  editor = {Lucas Chi Kwong Hui and Dik Lun Lee},
  volume = {1749},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-66903-5},
}