# Duration calculus

## Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2007

2007

- Domain Modeling and the Duration Calculus
- 2007

In this chapter we will present selected central elements in the theory of Duration Calculus and we will give examples ofâ€¦Â (More)

Is this relevant?

2004

2004

- Monographs in Theoretical Computer Science Anâ€¦
- 2004

domain, 20, 203 semantics of durations, 203 adequacy of neighborhood modalities, 193 assumption-commitment logic, 20 automaton, 9â€¦Â (More)

Is this relevant?

Highly Cited

2004

Highly Cited

2004

- 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

- J. Log. Comput.
- 2000

The Duration Calculus is an interval logic with an additional notion of duration. It became one of the main references of realâ€¦Â (More)

Is this relevant?

1999

1999

- Formal Aspects of Computing
- 1999

This paper deals with dependability of imperfect implementations concerning given requirements. The requirements are assumed toâ€¦Â (More)

Is this relevant?

1998

1998

- SOEN
- 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

- Formal Aspects of Computing
- 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

- FCT
- 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

- Formal Aspects of Computing
- 1994

Duration Calculus was introduced in [ZHR91] as a logic to specify and reason about requirements for real-time systems. It is anâ€¦Â (More)

Is this relevant?

1994

1994

- CONCUR
- 1994

This paper embeds durations in an interval temporal logic proposed by Venema. The resulting logic, DCL, is a conservativeâ€¦Â (More)

Is this relevant?