Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 226,303,425 papers from all fields of science
Search
Sign In
Create Free Account
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…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
5 relations
Charles Leonard Hamblin
Modal logic
Real-time computing
Software 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
Hung Ledang
,
D. Hung
Theoretical Aspects of Software Engineering
2007
Corpus ID: 10824165
In a development of real-time embedded systems, one needs to consider at very early stages the platform on which the systems are…
Expand
2005
2005
Axiomatisation and decidability of multi-dimensional duration calculus
A. Schafer
Time
2005
Corpus ID: 12429768
We investigate properties of a spatio-temporal logic based on an n-dimensional duration calculus tailored for the specification…
Expand
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…
Expand
2000
2000
Completeness of Higher-Order Duration Calculus
N. Zhan
Annual Conference for Computer Science Logic
2000
Corpus ID: 28359496
In order to describe the real-time behaviour of programs in terms of Duration Calculus (DC), proposed by Zhou Chaochen, C.A.R…
Expand
2000
2000
A Complete Fragment of Higher-Order Duration µ-Calculus
Dimitar P. Guelev
Foundations of Software Technology and…
2000
Corpus ID: 21895361
The paper presents an extension µHDC of Higher-order Duration Calculus (HDC, [ZGZ99]) by a polyadic least fixed point…
Expand
1999
1999
Modelling Discrete Behaviour in a Continuous-Time Formalism
C. Fidge
International Conference on Integrated Formal…
1999
Corpus ID: 10080234
Embedded real-time systems consist of a digital controller interacting with its physical environment. Developing such systems…
Expand
Review
1998
Review
1998
An overview of Duration Calculus
Chaochen Zhou
Journal of Computational Science and Technology
1998
Corpus ID: 34120199
] 'he Duration Calculus (abbreviated DC) represents a logical approach to formal design of real-time systems. DC is based on…
Expand
1998
1998
Duration Calculus of Weakly Monotonic Time
P. Pandya
,
D. Hung
Formal Techniques in Real-Time and Fault-Tolerant…
1998
Corpus ID: 6358184
We extend Duration Calculus to a logic which allows description of Discrete Processes where several steps of computation can…
Expand
1996
1996
Checking Linear Duration Invariants by Linear Programming
Xuandong Li
,
D. Hung
Asian Computing Science Conference
1996
Corpus ID: 19036017
In this paper, the problem of verifying a timed automaton for a Duration Calculus formula in the form of linear duration…
Expand
1994
1994
Liveness and Fairness in Duration Calculus
J. U. Skakkebæk
International Conference on Concurrency Theory
1994
Corpus ID: 16863630
This paper embeds durations in an interval temporal logic proposed by Venema. The resulting logic, DCL, is a conservative…
Expand
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)
ACCEPT & CONTINUE