A new equivalence for processes with timing by