Combining tentative and definite executions for very fast dependable computing (1991)

by Z Kedem, K Palem, A Raghunathan, P Spirakis
Venue:In Proceedings of the 23rd ACM Symposium on Theory of Computing