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

@inproceedings {268798,
author = {Joseph G. Slember and Priya Narasimhan},
title = {Static Analysis Meets Distributed {Fault-Tolerance}: Enabling {State-Machine} Replication with Nondeterminism},
booktitle = {Second Workshop on Hot Topics in System Dependability (HotDep 06)},
year = {2006},
address = {Seattle, WA},
url = {https://www.usenix.org/conference/hotdep-06/static-analysis-meets-distributed-fault-tolerance-enabling-state-machine},
publisher = {USENIX Association},
month = nov
}