Specifying and Enforcing Intertask Dependencies

Authors

Paul Attie
Munindar Singh
Amit P. Sheth, Wright State University - Main CampusFollow
Marek Rusinkiewicz

Document Type

Conference Proceeding

Publication Date

1993

Abstract

Proposes temporal logic (computational tree logic) for specifying interdependencies between tasks.

Comments

This paper was presented at the 19th International Conference on Very Large Data Bases, Dublin Ireland, August 24-27, 1993.

Repository Citation

Attie, P., Singh, M., Sheth, A. P., & Rusinkiewicz, M. (1993). Specifying and Enforcing Intertask Dependencies. Proceedings of the 22nd International Conference on Very Large Data Bases, 134-145.
https://corescholar.libraries.wright.edu/knoesis/7