PBFT é para *Paxos* como Dolev–Strong é para *transmissão não uniforme com falhas de omissão* com Gilad Stern
393