Journal of the ACM Bibliography
Rajeev
Alur and Thomas A.
Henzinger. A really temporal logic. Journal of the ACM,
41(1):181-204, January 1994.
[BibTeX entry]
Selected papers that cite this one
- Rajeev Alur, Tomás Feder, and Thomas A. Henzinger. The benefits of relaxing
punctuality. Journal of the ACM, 43(1):116-146, January
1996.
- R. Alur, A. Itai, R. P. Kurshan, and M. Yannakakis. Timing verification by successive
approximation. Information and Computation,
118(1):142-157, April 1995.
- Christoph Brzoska. Programming in metric
temporal logic. Theoretical Computer Science,
202(1-2):55-125, 28 July 1998. Fundamental Study.
- Michael Kaminski and Chung Kei Wong. The power of the
``always'' operator in first-order temporal logic. Theoretical
Computer Science, 160(1-2):271-281, 10 June 1996.
Selected references
- Rajeev Alur, Costas Courcoubetis, and David Dill. Model-checking for real-time
systems. In Proceedings, Fifth Annual IEEE Symposium on Logic
in Computer Science, pages 414-425, Philadelphia, Pennsylvania,
4-7 June 1990. IEEE Computer Society Press.
- Rajeev Alur and Thomas A. Henzinger. A really temporal logic.
In 30th Annual Symposium on Foundations of Computer
Science, pages 164-169, Research Triangle Park, North Carolina,
30 October-1 November 1989. IEEE.
- Rajeev Alur and Thomas A. Henzinger. Real-time logics: Complexity
and expressiveness. In Proceedings, Fifth Annual IEEE
Symposium on Logic in Computer Science, pages 390-401,
Philadelphia, Pennsylvania, 4-7 June 1990. IEEE Computer Society Press.
- Eyal Harel, Orna Lichtenstein, and Amir Pnueli. Explicit clock temporal
logic. In Proceedings, Fifth Annual IEEE Symposium on Logic in
Computer Science, pages 402-413, Philadelphia, Pennsylvania, 4-7
June 1990. IEEE Computer Society Press.
- Amir Pnueli. The
temporal logic of programs. In 18th Annual Symposium on
Foundations of Computer Science, pages 46-57, Providence, Rhode
Island, 31 October-2 November 1977. IEEE.
Shortcuts: