C. Zhou, C. A. R. Hoare, and A. P. Ravn. A calculus of durations. Information Processing Letters, 40:269--276, 1991.  Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
A ProCoS Project Final Report: ESPRIT Basic Research project 7071 - Bowen, al. (1996) Self-citation (Hoare Ravn) (Correct)
No context found.
Zhou Chaochen, C. A. R. Hoare, and A. P. Ravn. A calculus of durations. Information Processing Letters, 40(5):269--276, December 1991.
A ProCoS Project Final Report: ESPRIT Basic Research project 7071 - Bowen, al. (1996) Self-citation (Hoare) (Correct)
No context found.
B. von Karger and C. A. R. Hoare. Sequential calculus. Information Processing Letters, 53(3):123--130, 1995.
Sensors and Actuators in TCOZ - Brendan Mahony Jin (Correct)
No context found.
C. Zhou, C. A. R. Hoare, and A. P. Ravn. A calculus of durations. Information Processing Letters, 40:269--276, 1991.
Sensors and Actuators in TCOZ - Brendan Mahony Jin (Correct)
No context found.
C. Zhou, C. A. R. Hoare, and A. P. Ravn. A calculus of durations. Information Processing Letters, 40:269--276, 1991.
A Calculus for Shapes in Time and Space - Andreas Schafer Department (Correct)
No context found.
Zhou Chaochen, C.A.R. Hoare, and A.P. Ravn. A calculus of durations. Information Processing Letters, 40(5):269--276, 1991.
Unknown - (Correct)
No context found.
Chaochen Zhou, C.A.R. Hoare, and Anders P. Ravn. A calculus of durations. Information Processing Letters, 40(5):269--276, 1991.
Integrating Temporal Logics - Chen, Liu (2004) (1 citation) (Correct)
No context found.
C. Zhou, C. A. R. Hoare, and A. P. Ravn. A calculus of durations. Information Processing Letters, 40(5):269--276, 1991.
A MONA-based Decision Procedure for Propositional Interval.. - Gomez, Bowman (2003) (Correct)
No context found.
Zhou Chaochen, C. A. R. Hoare, and A. P. Ravn. A calculus of durations. Information Processing Letters, 40(5):269-- 276, 1991.
From Discrete Duration Calculus to Symbolic Automata - Gonnord, Halbwachs, Raymond (2004) (1 citation) (Correct)
No context found.
Z. Chaochen, C.A.R. Hoare, and A.P. Ravn. A calculus of durations. Information Processing Letters, 40(5), 1991.
Theorie Algebrique des Langages Formels Temps Reel - Dima (2001) (Correct)
No context found.
Zhou Chaochen, C. A. R. Hoare, and A. P. Ravn. A calculus of durations. Information Processing Letters, 40:269--276, 1991.
A Road Map on Interval Temporal Logics and Duration Calculi - Goranko, Montanari.. (2003) (Correct)
No context found.
C. Zhou, C.A.R. Hoare, and A. P. Ravn. A calculus of durations. Information Processing Letters, 40(5):269--276, 1991.
Logical Interpolation and Projection onto State in the Duration.. - Guelev (2003) (Correct)
No context found.
Zhou Chaochen, C. A. R. Hoare and A. P. Ravn. A Calculus of Durations. Information Processing Letters, 40(5), 1991, pp. 269-276.
Scheduling with Timed Automata - Abdeddaim, Maler (2003) (Correct)
No context found.
Z. Chaochen, C.A.R. Hoare and A.P. Ravn, A Calculus of Durations, Information Processing Letters 40, 269-276, 1991.
Event-Based Runtime Checking of Timed LTL - Kristoffersen, Pedersen, Andersen (Correct)
No context found.
Z. Chaochen, C.A.R. Hoare, A.P. Ravn: A Calculus of Durations, Information Processing Letter, 40, 5, pp. 269-276, 1991.
Verifying Linear Duration . . . - Thai (2004) (Correct)
No context found.
Zhou Chaochen , C.A.R. Hoare, and Anders P. Ravn. A calculus of durations. Information Processing Letters, 40(5):269-276, 1991.
TEMPORAL LOGICS OF COMPUTATIONS - Introductory course - Goranko (2000) (Correct)
No context found.
Zhou Chaochen, C. A. R. Hoare, and Anders P. Ravn. A calculus of durations. Information Processing Letters, 40(5):269--276, 13 December 1991.
An Implementable Formal Language for Hard Real-Time Systems - Bradley (1995) (Correct)
No context found.
Zhou Chaochen, C A R Hoare, and A P Ravn. A calculus of durations. Information Processing Letters, 40(5), December 1991.
Expressive Completeness of Duration Calculus - Rabinovich (2001) (4 citations) (Correct)
No context found.
Zhou Chaochen, C.A.R. Hoare and A. Ravn. A calculus of Duration. Information processing Letters, 40(5):269-279, 1991.
Verifying Real-time Systems using Untimed Model Checking Tools - Chun, Van Hung (Correct)
No context found.
Z. Chaochen, C. A. R. Hoare, A. P. Ravn, A calculus of durations, Information Processing Letters, 40, 1992, pp. 269-276.
Integrating Temporal Logics - Chen, al. (2004) (1 citation) (Correct)
No context found.
C. Zhou, C. A. R. Hoare, and A. P. Ravn. A calculus of durations. Information Processing Letters, 40(5):269--276, 1991.
Interval Temporal Logic - Cau, Moszkowski, Zedan (2002) (1 citation) (Correct)
No context found.
Zhou Chaochen, C. A. R. Hoare, and A. P. Ravn. A calculus of durations. Information Processing Letters, 40(5):269--276, 1991.
Lazy Kleene Algebra - Möller (2003) (Correct)
No context found.
B. von Karger, C.A.R. Hoare: Sequential calculus. Information Processing Letters 53, 1995, 123--130
From Operational Semantics to Denotational Semantics for Verilog - Zhu, Bowen, He (2001) (Correct)
No context found.
Zhou Chaochen, C. A. R. Hoare and A. P. Ravn. A Calculus of Durations. Information Processing Letters, 40(5):269--276, 1991.
From Durational Specifications to TLA . . . - Chen, al. (Correct)
No context found.
C. Zhou, C. A. R. Hoare, and A. P. Ravn. A calculus of durations. Information Processing Letters, 40(5):269--276, 1991.
An Introduction to Real-Time Object-Z - Smith, Hayes (2002) (Correct)
No context found.
Zhou Chaochen, C.A.R. Hoare and A.P. Ravn. A calculus of durations. Information Processing Letters, 40:269--271, December 1991.
First 50 documents Next 50
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