PBFT is to *Paxos* as Dolev–Strong is to *non-uniform broadcast with omission failures* with Gilad Stern
557