Zhou, C., Hoare, C. A. R., and Ravn, A. P. "A calculus of durations" Information Processing Letters 40(5) 1991 269-276.

Languages mentioned

• Duration Calculus {1991}