Rajeev Alur, Thomas A. Henzinger  Home/Search
Context Related
| upenn.edu/~alur/Lics90H.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: upenn.edu/~alur/pub (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . The theory of the natural numbers with linear order and monadic predicates underlies propositional linear temporal logic. To study temporal logics that are suitable for reasoning about real-time systems, we combine this classical theory of infinite state sequences with a theory of discrete time, via a monotonic function that maps every state to its time. The resulting theory of timed state sequences is shown to be decidable, albeit nonelementary, and its expressive power is characterized by... (Update)
Cited by: More
Submitted for Publication to - Annals Of Mathematics (Correct)
Temporal Logics, Automata, and Classical Theories for.. - Henzinger Raskin And (Correct)
Real-time Property Preservation in Concurrent Real-time.. - Huang, Voeten, Geilen (Correct)
Active bibliography (related documents): More All
1.1: A Really Temporal Logic - Alur, Henzinger (1989) (Correct)
0.5: Logics and Models of Real Time: A Survey - Alur, Henzinger (1992) (Correct)
0.4: Temporal Proof Methodologies for Timed Transition Systems - Henzinger, Manna, Pnueli (1994) (Correct)
Similar documents based on text: More All
0.3: Alternating-time Temporal Logic - Alur, Henzinger, Kupferman (1997) (Correct)
0.2: Real-time Property Preservation in Approximations of Timed.. - Huang, Voeten, Geilen (2003) (Correct)
0.1: Essential Reading: Theory of Timed and Hybrid Systems - Ramanujam, Pandya (1997) (Correct)
Related documents from co-citation: More All
34: A Really Temporal Logic - Alur, Henzinger - 1989
30: The Temporal Logic of Reactive and Concurrent Systems (context) - Manna, Pnueli - 1992
26: Logics and models of real time: a survey - Alur, Henzinger - 1992
BibTeX entry: (Update)
Alur R, Henzinger T, Real-Time Logics: Complexity and Expressiveness, Proc 5 th LICS, 1990, pp 390-401. http://citeseer.ist.psu.edu/alur90realtime.html More
@inproceedings{ alur90realtime,
author = "{R. Alur} and {T.A. Henzinger}",
title = "{R}eal-{T}ime {L}ogics: {C}omplexity and {E}xpressiveness",
booktitle = "Fifth Annual {IEEE} Symposium on Logic in Computer Science",
publisher = "IEEE Computer Society Press",
address = "Washington, D.C.",
pages = "390--401",
year = "1990",
url = "citeseer.ist.psu.edu/alur90realtime.html" }
Citations (may not include all citations):1180 The Temporal Logic of Reactive and Concurrent Systems: Speci.. (context) - Manna, Pnueli - 1992
725 Temporal and modal logic (context) - Emerson - 1990
539 The temporal logic of programs (context) - Pnueli - 1977
374 Automata on infinite objects (context) - Thomas - 1990
299 Model checking for real-time systems (context) - Alur, Courcoubetis et al. - 1990
230 Checking that finite-state concurrent programs satisfy their.. (context) - Lichtenstein, Pnueli - 1984
229 Theory of Recursive Functions and Effective Computability (context) - Rogers - 1967
222 The complexity of propositional linear temporal logics (context) - Sistla, Clarke - 1985
218 Safety analysis of timing properties in real-time systems (context) - Jahanian, Mok - 1986
214 An old-fashioned recipe for real time - Lamport, Abadi - 1992
177 Temporal logic can be more expressive (context) - Wolper - 1983
175 Logics and models of real time: a survey - Alur, Henzinger - 1992
172 A really temporal logic - Alur, Henzinger - 1989
165 Theoretical Computer Science (context) - Kozen, the et al. - 1983
163 the temporal analysis of fairness (context) - Gabbay, Pnueli et al. - 1980
147 Real-time logics: complexity and expressiveness - Alur, Henzinger - 1990
140 Tense Logic and the Theory of Linear Order (context) - Kamp - 1968
127 Counter-free Automata (context) - McNaughton, Papert - 1971
118 Temporal Logic of Real-time Systems (context) - Ostroff - 1990
116 Synthesis of Communicating Processes from Temporal-Logic Spe.. (context) - Wolper - 1982
104 Proving liveness properties of concurrent programs (context) - Owicki, Lamport - 1982
103 The glory of the past (context) - Lichtenstein, Pnueli et al. - 1985
100 Weak second-order arithmetic and finite automata (context) - Buchi - 1960
88 The benefits of relaxing punctuality - Alur, Feder et al. - 1991
86 Specifying real-time properties with metric temporal logic (context) - Koymans - 1990
71 Reasoning about infinite computation paths (context) - Wolper, Vardi et al. - 1983
63 The temporal logic of branching time (context) - Ben-Ari, Manna et al. - 1981
58 Explicit-clock temporal logic (context) - Harel, Lichtenstein et al. - 1990
53 Testing and generating infinite sequences by a finite automa.. (context) - McNaughton - 1966
41 Applications of temporal logic to the specification of realt.. (context) - Pnueli, Harel - 1988
40 The Complexity of Decision Problems in Automata Theory and L.. (context) - Stockmeyer - 1974
38 A logic of concrete time intervals (context) - Lewis - 1990
35 Back to the future: towards a theory of timed regular langua.. - Alur, Henzinger - 1992
31 The Temporal Specification and Verification of Real-time Sys.. (context) - Henzinger - 1991
24 A combinatorial approach to the theory (context) - Thomas - 1981
10 Theoretical Issues in the Design and Verification of Distrib.. (context) - Sistla - 1983
8 Propositional dynamic logic of regular programs (context) - Harel, Pnueli et al. - 1983
7 Temporal analysis of real-time systems (context) - Harel - 1988
6 Presented at the First Annual Workshop on Computer-aided Ver.. (context) - Emerson, Mok et al. - 1989
2 Asynchronous propositional temporal logic (context) - Wang, Mok et al. - 1992
1 Suitability of the propositional temporal logic to express p.. (context) - Nassor, Vidal-Naquet - 1992
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cis.upenn.edu/~alur/pub.html): More
Parametric Real-time Reasoning - Alur, Henzinger, Vardi (1993) (Correct)
Modularity for Timed and Hybrid Systems - Alur, Henzinger (1997) (Correct)
A Really Temporal Logic - Alur, Henzinger (1989) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC