A calculus of durations

Information Processing Letters

Volumn 40, Issue 5, 1991, Pages 269-276

  Chaochen, Zhou ^a   Hoare, C A R ^a   Ravn, Anders P ^a  

^a UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

Real time systems; software engineering; specification languages; temporal logic

Indexed keywords

COMPUTER METATHEORY - BINARY SEQUENCES; COMPUTER PROGRAMMING - LOGIC PROGRAMMING; COMPUTER SOFTWARE - SOFTWARE ENGINEERING; MATHEMATICAL MODELS; MATHEMATICAL TECHNIQUES;

REAL TIME SYSTEMS; SPECIFICATION LANGUAGES; TEMPORAL LOGIC;

COMPUTER SYSTEMS, DIGITAL;

EID: 0026285434     PISSN: 00200190     EISSN: None     Source Type: Journal    
DOI: 10.1016/0020-0190(91)90122-X     Document Type: Article

References (15)

1. A really abstract concurrent model and its temporal logic
2. A relational calculus of intervals
3. Correctness and communication of real-time systems
4. Programming in temporal logic
5. J. Hooman and J. Widom, A temporal-logic based compositional proof system for real-time message passing, in: PARLE '89, Lecture Notes in Computer Science 366 (Springer, Berlin).
6. Safety analysis of timing properties in real-time systems
7. time
8. Specifying real-time properties with metric temporal logic
9. A temporal logic for multi-level reasoning about hardware
10. Applications of temporal logic to the specification of real time systems
11. Requirements capture for embedded real-time systems
12. Metric spaces as models for real-time concurrency
13. Control program for a gas burner: Part 1: Informal requirements
14. On the specification of dependability requirements involving time integration
15. A note on completeness of the Duration Calculus