Joseph G. Slember, Priya Narasimhan. Using Program Analysis to Identify and Compensate for Nondeterminism in Fault-Tolerant, Replicated Systems. In 23rd International Symposium on Reliable Distributed Systems (SRDS 2004), 18-20 October 2004, Florianpolis, Brazil. pages 251-263, IEEE Computer Society, 2004. [doi]
Abstract is missing.