Liveness properties. Lemma 2. Each message sent by a correct process is eventually safe for any other correct process.
Appears in 4 contracts
Samples: Byzantine Generalized Lattice Agreement, Byzantine Generalized Lattice Agreement, Byzantine Generalized Lattice Agreement
