Impossibility Result (FLP[85])
- x-fair execution: executions in which all
channels execute fairly, and all processes but
at-most x execute fairly.
- 0-RCP : (0-resilient consensus protocol) - a
protocol that solves consensus in all 0-fair
- 1-RCP: a protocol that solves consensus in all
0-fair and 1-fair executions.