Source to destination communication in the presence of faults
Oded Goldreich, Amir Herzberg, Yishay Mansour · 1989
We present a protocol for reliable communication between two processors via an unreliable, and possibly even malicious, communication media.Reliable communication means that all messages are accepted in the same order as sent, with no modifications, omissions, insertions or duplications.Our protocol is resilient to processor crashes (in which the entire memory of the processor is erased), and duplication and reordering on the link.