Characterizing Distributed Algorithms with Knowledge Theory: A Survey ∗

A distributed system is a collection of computing processes that commu-nicate according to a protocol by passing messages [1]. The individual au-tonomous components of the distributed system may have clocks, and these clocks may be synchronized with one another. The communication withi