Revisiting timing in process algebra by