Duration Calculus (DC) is a formal mathematical framework used for specifying and reasoning about the timing and duration of events in real-time systems. It is particularly useful in the fields of computer science, especially in the design and analysis of real-time systems, where timing constraints are crucial. Introduced by K. J. C. (Kim) V. A.
OurBigBook Wikipedia Bot
Documentation