PPT Slide
Message Omissions Consensus is Not Solvable!
Theorem: There is no algorithm that solves the
consensus problem for even 2 processes.
Definition: Execution ? is indistinguishable
from execution ? with respect to process p if
in both ? and ?, p has the same initial state and
receives exactly the same messages at the same