Common use of THE PARTIALLY SYNCHRONOUS CASE Clause in Contracts

THE PARTIALLY SYNCHRONOUS CASE. Here we prove that having ℓ > 3t+n is necessary and suf- ficient for solving Byzantine agreement in a partially syn- chronous system, regardless of whether the processes are numerate or innumerate. Intuitively, this condition means that at least 3t+1 of the identifiers must each be assigned to a single process (since 2ℓ − n > 3t). We shall see in Section