The benefits of relaxing punctuality

Proceedings of the Annual ACM Symposium on Principles of Distributed Computing

Volumn , Issue , 1991, Pages 139-152

  Alur, Rajeev ^a   Feder, Tomás ^b   Henzinger, Thomas A ^a  

^a STANFORD UNIVERSITY   (United States)

^b TELCORDIA TECHNOLOGIES   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; DISTRIBUTED COMPUTER SYSTEMS; INTERACTIVE COMPUTER SYSTEMS; SEMANTICS;

REAL TIME CONSTRAINTS; SATISFIABILITY; TEMPORAL LANGUAGE; TIME-DIFFERENCES; TIMING PROPERTIES;

REAL TIME SYSTEMS;

EID: 84947983991     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/112600.112613     Document Type: Conference Paper

References (14)

1. R.. Alui, C. Courcoubetis, and D. L. Dill. Model-checking for real-time systems. In Proceedings of the Fifth Annual IEEE Symposium on Logic in Computer Science, 1990.
2. R. Alur and D. L. Dill. Automata for modeling real-time systems. In 11th International Colloquium on Automata, Languages, and Programming. Springer-Verlag Lecture Notes in Computer Science 443, 1990.
3. R. Alur and T. A. Henzinger. A really temporal logic. In Proceedings of the 30th Annual IEEE Symposium on Foundations of Computer Science, 1989.
4. R. Alur and T. A. Henzinger. Real-time logics: complexity and expressiveness. In Proceedings of the Fifth Annual IEEE Symposium on Logic in Computer Science, 1990.
5. J. R. Burch, E. M. Clarke, K. L. McMillan, D. L. Dill, and L. J. Hwang. Symbolic model checking: 1020 states and beyond. In Proceedings of the Fifth Annual IEEE Symposium on Logic in Computer Science, 1990.
6. E. A. Emerson, A. K. Mok, A. P. Sistla, and J. Srinivasan. Quantitative temporal reasoning. Presented at the First Annual Workshop on Computer-aided Verification, Grenoble, France, 1989.
7. E. Harel, O. Lichtenstein, and A. Pnueli. Explicit-clock temporal logic. In Proceedings of the Fifth Annual IEEE Symposium on Logic in Computer Science, 1990.
8. F. Jahanian and A. K. Mok. Safety analysis of timing properties in real-time systems. IEEE Transactions on Software Engineering, SE-12, 1986.
9. R. Koymans. Specifying real-time properties with metric temporal logic. Journal of Real-time Systems, 2, 1990.
10. H. R. Lewis. A logic of concrete time intervals. In Proceedings of the Fifth Annual IEEE Symposium on Logic in Computer Science, 1990.
11. O. Lichtenstein and A. Pnueli. Checking that finite-state concurrent programs satisfy their linear specification. In Proceedings of the 11th Annual ACM Symposium on Principles of Programming Languages, 1984.
12. J. S. Ostroff. Temporal Logic of Real-time Systems. Research Studies Press, 1990.
13. H. Rogers, Jr. Theory of Recursive Functions and Effective Computability. McGraw-Hill, 1967.
14. W. Thomas. Automata on infinite objects. In Jan van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B. Elsevier, 1990.