Safety properties. Observation 1. Given any correct process pj its SvS contains at most one value for each process in P. Algorithm 1 WTS (Wait Till Safe) -Alg. for Proposer pi 1: proposed value = proi 2: init counter = ts = 0
Appears in 3 contracts
Sources: Byzantine Generalized Lattice Agreement, Byzantine Generalized Lattice Agreement, Byzantine Generalized Lattice Agreement