A cache protocol for error detection and recovery in fault-tolerant computing systems | IEEE Conference Publication | IEEE Xplore