Consensus in the presence of partial synchrony
The Weak Byzantine Generals Problem