Proposition of the Independent Recovery Protocols

There was a lot of effort invested into research of ideal independent recovery protocol. The results are mainly negative.

Prop. 1 Independent recovery protocols exist only for single-site failures. There exists no independent recovery protocol which is resilient to multiple-site failures.

Prop 2. There exists no nonblocking protocol that is resilient to a network partition if messages are lost when the partition occurs.

Prop 3. There exist nonblocking protocols which are resilient to a single network partition if all undeliverable messages are sent back to the sender