Joseph G. Slember, Priya Narasimhan. Static Analysis Meets Distributed Fault-Tolerance: Enabling State-Machine Replication with Nondeterminism. In George Candea, Ken Birman, editors, Proceedings of the Second Workshop on Hot Topics in System Dependability, HotDep 2006, Seattle, WA, USA, November 8, 2006. USENIX Association, 2006. [doi]
Abstract is missing.