Summary: [22] J. Hopcroft and J. Ullman. Introduction to Automata Theory, Languages, and Com­
putation. Addison­Wesley, 1979.
[23] F. Jahanian and A. Mok. Safety analysis of timing properties in real­time systems.
IEEE Transactions on Software Engineering, SE--12(9):890--904, 1986.
[24] F. Jahanian and A. Mok. A graph­theoretic approach for timing analysis and its
implementation. IEEE Transactions on Computers, C­36(8):961--975, 1987.
[25] R. Koymans. Specifying real­time properties with metric temporal logic. Journal of
Real­Time Systems, 2:255--299, 1990.
[26] D. Lehman, A. Pnueli, and J. Stavi. Impartiality, justice, and fairness: The ethics of
concurrent termination. In Automata, Languages and Programming: Proceedings of
the Ninth ICALP, Lecture Notes in Computer Science 115, pages 264--277. Springer­
Verlag, 1982.
[27] H. Lewis. Finite­state analysis of asynchronous circuits with bounded temporal un­
certainty. Technical Report TR­15­89, Harvard University, 1989.
[28] H. Lewis. A logic of concrete time intervals. In Proceedings of the Fifth IEEE
Symposium on Logic in Computer Science, pages 380--389, 1990.
[29] N. Lynch and H. Attiya. Using mappings to prove timing properties. In Proceedings of
the Ninth ACM Symposium on Principles of Distributed Computing, pages 265--280,
1990.
[30] Z. Manna and A. Pnueli. The anchored version of the temporal framework. In Linear

Source: Alur, Rajeev - Department of Computer and Information Science, University of Pennsylvania

Collections: Computer Technologies and Information Sciences