Integrating Distributed Algorithms into Distributed Systems
Ekkart Kindler, Sibylle Peuker · Fundamenta Informaticae · 1999
A distributed algorithm is often used as a part of a larger distributed system. Usually, the properties of an algorithm are proven for the algorithm in isolation. Then, it is not obvious how the algorithm behaves when integrated into a larger system.