Crash failures can drive protocols to arbitrary states (1996)

by M Jayaram, G Varghese
Venue:In ACM PODC