Skip to search formSkip to main contentSkip to account menu

Duration calculus

Duration calculus (DC) is an interval logic for real-time systems. It was originally developed by Zhou Chaochen with the help of Anders P. Ravn and C… 
Wikipedia (opens in a new tab)

Related topics

Related topics

5 relations
Charles Leonard HamblinModal logicReal-time computingSoftware development

Broader (1)

Temporal logic

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2007
2007
Timing and Concurrency Specification in Component-based Real-Time Embedded Systems Development
In a development of real-time embedded systems, one needs to consider at very early stages the platform on which the systems are… 
2005
2005
Axiomatisation and decidability of multi-dimensional duration calculus
We investigate properties of a spatio-temporal logic based on an n-dimensional duration calculus tailored for the specification… 
2005
2005
Formal Aspects of Computing Model-Checking Discrete Duration Calculus
  • 2005
  • Corpus ID: 26285362
Abstract. Duration Calculus was introduced in [ZHRgl] as a logic to specify and reason about requirements for real-time systems… 
2005
2005
Slicing CSP-OZ Specifications for Verification by Ingo Brückner
Model checking specifications with complex data and behaviour descriptions often fails due to the large state space to be… 
2000
2000
Completeness of Higher-Order Duration Calculus
In order to describe the real-time behaviour of programs in terms of Duration Calculus (DC), proposed by Zhou Chaochen, C.A.R… 
2000
2000
A Complete Fragment of Higher-Order Duration µ-Calculus
The paper presents an extension µHDC of Higher-order Duration Calculus (HDC, [ZGZ99]) by a polyadic least fixed point… 
1999
1999
Modelling Discrete Behaviour in a Continuous-Time Formalism
Embedded real-time systems consist of a digital controller interacting with its physical environment. Developing such systems… 
1998
1998
Duration Calculus of Weakly Monotonic Time
We extend Duration Calculus to a logic which allows description of Discrete Processes where several steps of computation can… 
Review
1998
Review
1998
An overview of Duration Calculus
] 'he Duration Calculus (abbreviated DC) represents a logical approach to formal design of real-time systems. DC is based on… 
1994
1994
Liveness and Fairness in Duration Calculus
This paper embeds durations in an interval temporal logic proposed by Venema. The resulting logic, DCL, is a conservative… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)