Consensus in the presence of partial synchrony
Byzantine generals in action: implementing fail-stop processors