Luís Rodrigues, Paulo Veríssimo and António Casimiro From the Proceedings of the 12th Symposium On Reliable Distributed Systems, Oct. 6-8, 1993, Princeton, New Jersey.
In this paper we present a particular materialization of this algorithm, implemented as a time service of the xAMp group communications system. The algorithm was implemented using some of the primitives offered by xAMp, which simplified the work and stressed its advantages. The paper also presents performance results for this implementation obtained on two different infrastructures. Timings validate the design choices and clearly show that our algorithm is able to provide improved precision without compromising accuracy and reliability.
Also available extended report (gzip postscript), (pdf) .