Consensus in the presence of partial synchrony
Asynchronous consensus and broadcast protocols