Characterizing Distributed Algorithms with Knowledge Theory: A Survey ⁄
Mark R. Lindsey · 2003
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 within