Timed transition systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 600 LNCS, Issue , 1992, Pages 226-251

  Henzinger, Thomas A ^a   Manna, Zohar ^b,c   Pnueli, Amir ^c  

^a Cornell University ^*  (United States)

^b STANFORD UNIVERSITY   (United States)

^c WEIZMANN INSTITUTE OF SCIENCE   (Israel)

Author keywords

Concurrency; Real time; Transition systems

Indexed keywords

MESSAGE PASSING; SCHEDULING;

CONCURRENCY; CONCURRENT PROCESS; REAL TIME; REAL TIME REQUIREMENT; SCHEDULING POLICIES; TIMED TRANSITION SYSTEMS; TIMING CONSTRAINTS; TRANSITION SYSTEM;

REAL TIME SYSTEMS;

EID: 85029884473     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/BFb0031995     Document Type: Conference Paper

References (22)

1. K.R. Apt, N. Francez, and S. Katz. Appraising fairness in languages for distributed programming. Distributed Computing, 2(4):226-241, 1988.
2. R. Alur and T.A. Henzinger. A really temporal logic. In Proceedings of the 30th Annual Symposium on Foundations of Computer Science, pages 164-169. IEEE Computer Society Press, 1989.
3. R. Alur and T.A. Henzinger. Real-time logics: complexity and expressiveness. In Proceedings of the Fifth Annual Symposium on Logic in Computer Science, pages 390-401. IEEE Computer Society Press, 1990.
4. M. Abadi and L. Lamport. The existence of refinement mappings. In Proceedings of the Third Annual Symposium on Logic in Computer Science, pages 165-175. IEEE Computer Society Press, 1988.
5. H. Barringer, R. Kuiper, and A. Pnueli. A really abstract concurrent model and its temporal logic. In Proceedings of the 13th Annual Symposium on Principles of Programming Languages, pages 173-183. ACM Press, 1986.
6. E. Harel. Temporal analysis of real-time systems. Master’s thesis, The Weizmann Institute of Science, Rehovot, Israel, 1988.
7. T.A. Henzinger. Half-order modal logic: how to prove real-time properties. In Proceedings of the Ninth Annual Symposium on Principles of Distributed Computing, pages 281-296. ACM Press, 1990.
8. T.A. Henzinger. Sooner is safer than later. Technical report, Stanford University, 1991.
9. T.A. Henzinger. The Temporal Specification and Verification of Real-time Systems. PhD thesis, Stanford University, 1991.
10. E. Harel, O. Lichtenstein, and A. Pnueli. Explicit-clock temporal logic. In Proceedings of the Fifth Annual Symposium on Logic in Computer Science, pages 402-413. IEEE Computer Society Press, 1990.
11. T. A. Henzinger, Z. Manna, and A. Pnueli. An interleaving model for real time. In Proceedings of the Fifth Jerusalem Conference on Information Technology, pages 717-730. IEEE Computer Society Press, 1990.
12. T.A. Henzinger, Z. Manna, and A. Pnueli. Temporal proof methodologies for real-time systems. In Proceedings of the 18th Annual Symposium on Principles of Programming Languages, pages 353-366. ACM Press, 1991.
13. C.A.R. Hoare. Communicating Sequential Processes. Prentice-Hall, 1985.
14. D.N. Jayasimha. Communication and Synchronization in Parallel Computation. PhD thesis, University of Illinois at Urbana-Champaign, 1988.
15. R.M. Keller. Formal verification of parallel programs. Communications of the ACM, 19(7):371-384, 1976.
16. R. Koymans, R.K. Shyamasundar, W.-P. de Roever, R. Gerth, and S. Arun-Kumar. Compositional semantics for real-time distributed computing. Information and Computation, 79(3):210-256, 1988.
17. L. Lamport and M. Abadi. Refining and composing real-time specifications. This volume.
18. L. Lamport. What good is temporal logic? In R.E.A. Mason, editor, Information Processing 83: Proceedings of the Ninth IFIP World Computer Congress, pages 657-668. Elsevier Science Publishers (North-Holland), 1983.
19. Z. Manna and A. Pnueli. The anchored version of the temporal framework. In J.W. de Bakker, W.-P. de Roever, and G. Rozenberg, editors, Linear Time, Branching Time, and Partial Order in Logics and Models for Concurrency, Lecture Notes in Computer Science 354, pages 201-284. Springer-Verlag, 1989.
20. J.S. Ostroff. Temporal Logic of Real-time Systems. Research Studies Press, 1990.
21. A. Pnueli and E. Harel. Applications of temporal logic to the specification of real-time systems. In M. Joseph, editor, Formal Techniques in Real-time and Fault-tolerant Systems, Lecture Notes in Computer Science 331, pages 84-98. Springer-Verlag, 1988.
22. A. Pnueli. The temporal logic of programs. In Proceedings of the 18th Annual Symposium on Foundations of Computer Science, pages 46-57. IEEE Computer Society Press, 1977.