C.A.R.Hoare and Ander P.Ravn, "A Calculus of Durations (1991)

by Zhou Chao Chen
Venue:Information Processing Letters