Nonblocking and orphan-free message logging protocols
Byzantine generals in action: implementing fail-stop processors