Common use of END Clause in Contracts

END. Decide on treep(d) for the broadcast result and halt.

Appears in 3 contracts

Sources: Byzantine Agreement Protocols, Byzantine Agreement Protocols, Byzantine Agreement Protocols