  The first formal treatment of the consensus task is due to Fischer, Lynch, and Paterson [00], who proved that this task is not solvable in a message-passing system, even if only one process may crash and processes have direct communication channels with each other. The result was later extended to shared memory by Loui and Abu-Amara 