Selecting Necessary and Sufficient Checkpoints for Dynamic Verification of Fixed-Time Constraints in Grid Workflow Systems

Jinjun Chen, Yun Yang. Selecting Necessary and Sufficient Checkpoints for Dynamic Verification of Fixed-Time Constraints in Grid Workflow Systems. In Schahram Dustdar, José Luiz Fiadeiro, Amit P. Sheth, editors, Business Process Management, 4th International Conference, BPM 2006, Vienna, Austria, September 5-7, 2006, Proceedings. Volume 4102 of Lecture Notes in Computer Science, pages 445-450, Springer, 2006. [doi]

@inproceedings{ChenY06:21,
  title = {Selecting Necessary and Sufficient Checkpoints for Dynamic Verification of Fixed-Time Constraints in Grid Workflow Systems},
  author = {Jinjun Chen and Yun Yang},
  year = {2006},
  doi = {10.1007/11841760_37},
  url = {http://dx.doi.org/10.1007/11841760_37},
  tags = {constraints, workflow},
  researchr = {https://researchr.org/publication/ChenY06%3A21},
  cites = {0},
  citedby = {0},
  pages = {445-450},
  booktitle = {Business Process Management, 4th International Conference, BPM 2006, Vienna, Austria, September 5-7, 2006, Proceedings},
  editor = {Schahram Dustdar and José Luiz Fiadeiro and Amit P. Sheth},
  volume = {4102},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-38901-6},
}