Zyzzyva: Speculative Byzantine fault tolerance
Linearizability: a correctness condition for concurrent objects