Safety properties. The proof of the safety properties of GWTS is analogous to the proof contained in Section 5.1.1. From the properties of reliable broadcast we have the following:
Appears in 4 contracts
Samples: Byzantine Generalized Lattice Agreement, Byzantine Generalized Lattice Agreement, Byzantine Generalized Lattice Agreement
Safety properties. The proof of the safety properties of GWTS is analogous to the proof contained in Section 5.1.1. V-A. From the properties of reliable broadcast we have the following:
Appears in 3 contracts
Samples: Byzantine Generalized Lattice Agreement, Byzantine Generalized Lattice Agreement, Byzantine Generalized Lattice Agreement