Thomas A. Henzinger Computer Science Department, Cornell University Ithaca,...  Home/Search
Context Related
| maui.theoinf.tuilme...timetrans.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: maui.theoinf.tuilmenau....hybrid (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . We incorporate time into an interleaving model of concurrency. In timed transition systems, the qualitative fairness requirements of traditional transition system are replaced (and superseded) by quantitative lower-bound and upperbound timing constraints on transitions. The purpose of this paper is to explore the scope of applicability for the abstract model of timed transition systems. We demonstrate that the model can represent a wide variety of phenomena that routinely occur in conjunction ... (Update)
Cited by: More
Error Specification, Monitoring and Recovery in Computer.. - Manufacturing An Analytic (Correct)
Timed Model-based Programming: Executable Specifications for .. - Ingham, Williams (2003) (Correct)
Compositional Validation of Time-Critical Systems Using.. - Bucci, Vicario (1995) (Correct)
Similar documents (at the sentence level):
50.9%: Temporal Proof Methodologies for Timed Transition Systems - Henzinger, Manna, Pnueli (1994) (Correct)
Active bibliography (related documents): More All
0.9: Logics and Models of Real Time: A Survey - Alur, Henzinger (1992) (Correct)
0.3: Communication Complexity for Parallel Divide-and-Conquer - Wu, Kung (1991) (Correct)
0.3: Temporal Proof Methodologies for Real-time Systems - Henzinger, Manna, Pnueli (1991) (Correct)
Similar documents based on text: More All
0.2: Deductive Modelchecking - Sipma (1999) (Correct)
0.1: Proving Safety Properties of Hybrid Systems - Arjun Kapur (1994) (Correct)
0.1: Verification of Clocked and Hybrid Systems - Kesten, Manna, Pnueli (1998) (Correct)
Related documents from co-citation: More All
20: From timed to hybrid systems - Maler, Manna et al. - 1992
17: Logics and models of real time: a survey - Alur, Henzinger - 1992
15: The Temporal Logic of Reactive and Concurrent Systems (context) - Manna, Pnueli - 1992
BibTeX entry: (Update)
Henzinger, T. A. Manna, Z. and Pnueli, A.: Timed transition systems, in J. W. de Bakker, K. Huizing, W. P. de Roever, and G. Rozenberg, eds., Real-Time: Theory in Practice, LNCS 600, pages 226-251, 1992. http://citeseer.ist.psu.edu/henzinger92timed.html More
@inproceedings{ henzinger91timed,
author = "Thomas A. Henzinger and Zohar Manna and Amir Pnueli",
title = "Timed Transition Systems",
booktitle = "{REX} Workshop",
pages = "226-251",
year = "1991",
url = "citeseer.ist.psu.edu/henzinger92timed.html" }
Citations (may not include all citations):2732 Communicating Sequential Processes (context) - Hoare - 1985
539 The temporal logic of programs (context) - Pnueli - 1977
274 The existence of refinement mappings - Abadi, Lamport - 1988
172 A really temporal logic - Alur, Henzinger - 1989
160 What good is temporal logic (context) - Lamport - 1983
147 Real-time logics: complexity and expressiveness - Alur, Henzinger - 1990
118 Temporal Logic of Real-time Systems (context) - Ostroff - 1990
102 Formal verification of parallel programs (context) - Keller - 1976
73 Temporal proof methodologies for real-time systems - Henzinger, Manna et al. - 1991
71 A really abstract concurrent model and its temporal logic (context) - Barringer, Kuiper et al. - 1986
68 The anchored version of the temporal framework - Manna, Pnueli - 1989
58 Explicit-clock temporal logic (context) - Harel, Lichtenstein et al. - 1990
56 Appraising fairness in languages for distributed programming (context) - Apt, Francez et al. - 1988
41 Applications of temporal logic to the specification of real-.. (context) - Pnueli, Harel - 1988
32 Sooner is safer than later - Henzinger - 1991
31 The Temporal Specification and Verification of Real-time Sys.. (context) - Henzinger - 1991
20 Half-order modal logic: how to prove real-time properties - Henzinger - 1990
10 Compositional semantics for real-time distributed computing (context) - Koymans, Shyamasundar et al. - 1988
9 An interleaving model for real time - Henzinger, Manna et al. - 1990
7 Temporal analysis of real-time systems (context) - Harel - 1988
3 Communication and Synchronization in Parallel Computation (context) - Jayasimha - 1988
2 Refining and composing real-time specifications (context) - Lamport, Abadi
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://maui.theoinf.tu-ilmenau.de/forschung/links/hybrid.html): More
Timed and Hybrid Statecharts and their Textual Representation - Kesten, Pnueli (1992) (Correct)
From Timed to Hybrid Systems - Maler, Manna, Pnueli (1992) (Correct)
Model Checking Strategies for Linear Hybrid Systems (Extended.. - Henzinger, Ho (1994) (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