Cache-aided rollback error recovery (CARER) algorithm for shared-memory multiprocessor systems. - Rana Ejaz Ahmed; Robert C. Frazier; Peter N. Marinos (FTCS, 1990)