DMCA

A formally verified algorithm for clock synchronization under a hybrid fault model (1994)

by John Rushby
Venue:IN THIRTEENTH ACM SYMPOSIUM ON PRINCIPLES OF DISTRIBUTED COMPUTING
Citations:22 - 7 self