Correctness. If a process with identifier i performs Broadcast(m) in superround r ≥ T , then every cor- rect process performs Accept(m, i) during superround r.
Appears in 7 contracts
Sources: Byzantine Agreement With Homonyms, Byzantine Agreement With Homonyms, Byzantine Agreement With Homonyms