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… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2007
2007
In this chapter we will present selected central elements in the theory of Duration Calculus and we will give examples of… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2004
2004
domain, 20, 203 semantics of durations, 203 adequacy of neighborhood modalities, 193 assumption-commitment logic, 20 automaton, 9… (More)
  • figure 1.2
  • figure 1.3
  • figure 1.4
  • figure 1.5
  • figure 8.1
Is this relevant?
Highly Cited
2004
Highly Cited
2004
We may not be able to make you love reading, but duration calculus a formal approach to real time systems will lead you to love… (More)
Is this relevant?
2000
2000
The Duration Calculus is an interval logic with an additional notion of duration. It became one of the main references of real… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
1999
1999
This paper deals with dependability of imperfect implementations concerning given requirements. The requirements are assumed to… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
1998
1998
COOZ (Complete Object-Oriented Z) is an object-oriented extension of Z[1]. Duration Calculus (abbreviated De) is a formal design… (More)
Is this relevant?
Highly Cited
1997
Highly Cited
1997
The Duration Calculus (abbreviated DC) represents a logical approach for formal design of real-time systems, where real numbers… (More)
Is this relevant?
1995
1995
This paper introduces infinite intervals into the Duration Calculus [32]. The extended calculus defines a state duration over an… (More)
Is this relevant?
1994
1994
Duration Calculus was introduced in [ZHR91] as a logic to specify and reason about requirements for real-time systems. It is an… (More)
  • figure 1
  • figure 2
Is this relevant?
1994
1994
This paper embeds durations in an interval temporal logic proposed by Venema. The resulting logic, DCL, is a conservative… (More)
Is this relevant?