A new equivalence for processes with timing / J.C.M. Baeten, C.A. Middelburg and M.A. Reniers

A new equivalence for processes with timing / J.C.M. Baeten, C.A. Middelburg and M.A. Reniers