clock synchronization

MaRDI QIDQ40394swMATHFDO

Authors Alwen Tiu

Publication date 24 June 2005

Official website https://www.isa-afp.org/entries/GenClock.html

Cites work

• Synchronizing clocks in the presence of faults

Cited in

(4)

• Prosper
• Verification of clock synchronization algorithms: experiments on a combination of deductive tools
• Calife
• Schneider clock synchronization

This page was built for software: clock synchronization