PBFT es a *Paxos* como Dolev–Strong es a *difusión no uniforme con fallos de omisión* con Gilad Stern
402