Out-of-order retirement of instructions in sequentially consistent multiprocessors | IEEE Conference Publication | IEEE Xplore