Then, each process $p$ computes its own output $W_p$ based on the received values from all other processes.
To create an execution where correct processes $p$ and $q$ end with $W_p \neq W_q$, we need to find a scenario where the received values differ for $p$ and
Show more…