The Expressive Power of Urgent, Lazy and Busy-Waiting Actions in Timed Processes. - Flavio Corradini; Dino Di Cola (EXPRESS, 2000)

On testing urgency through laziness over processes with durational actions. - Flavio Corradini; Dino Di Cola (Theor. Comput. Sci., 2001)