A Denotational Semantics of Timed RSL Using Duration Calculus.

Li Li, Jifeng He

Browse the full RTCSA paper archive.