PBFT es para *Paxos* lo que Dolev-Strong es para *transmisión no uniforme con fallas de omisión* con Gilad Stern
348