Static Analysis Meets Distributed Fault-Tolerance: Enabling State-Machine Replication with Nondeterminism

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]

Authors

Joseph G. Slember

This author has not been identified. Look up 'Joseph G. Slember' in Google

Priya Narasimhan

This author has not been identified. It may be one of the following persons: Look up 'Priya Narasimhan' in Google