Out-of-order retirement of instructions in sequentially consistent multiprocessors | Publicación