Combining tentative and definite executions for very fast i)ependable parallel computingZ.M. KedemKrishna V. Palemet al.1991STOC 1991