Common use of Relay Clause in Contracts

Relay. If some correct process performs Accept(m, i) during superround r, then every correct process per- forms Accept(m, i) by superround max(r + 1, T ).

Appears in 7 contracts

Sources: Byzantine Agreement With Homonyms, Byzantine Agreement With Homonyms, Byzantine Agreement With Homonyms