Effects of message loss on distributed termination. Technical report
Richard Koo, Sam Toueg · OSTI OAI (U.S. Department of Energy Office of Scientific and Technical Information) · 1987
This document studies the problem of termination in distributed systems with faulty communication channels. It is shown that for asynchronous systems, protocols that guarantee knowledge gain via message transfers cannot be guaranteed to terminate even if we assume that only transient communication failures can occur, and want to achieve only a weak kind of termination. The same result holds for synchronous systems as well.