Report Dagstuhl Seminar on Time Services SchloßDagstuhl, March 11. – March 15. 1996

Authors:
Danny Dolev;Rü/diger Reischuk;Fred B. Schneider;H. Raymond Strong
Affiliations:
Hebrew University, Computer Science Dept., Givat Ram, 91904 Jerusalem, Israel/dolev@cs.huji.ac.il;Med. Universitä/t zu Lü/beck, Institut fü/r Theoretische Informatik, Wallstrasse 40, D-23560 Lü/bek, Germany/reischuk@informatik.mu-luebeck.de;Cornell University, Dept. of Computer Science, Upson Hall, Ithaca, NY 14853-7510fbs@cs.cornell.edu;IBM Almaden Research, Dept. K53/802, 650 Harry Road, San Jose, CA 95120-6099/strong@almaden.ibm.com
Venue:
Real-Time Systems - Special issue on global time in large scale distributed real-time systems, part III
Year:
1997

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

PODC '94 Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing
Fail-awareness in timed asynchronous systems

PODC '96 Proceedings of the fifteenth annual ACM symposium on Principles of distributed computing
Formal Verification of Algorithms for Critical Systems

IEEE Transactions on Software Engineering
Mechanical Verification of a Generalized Protocol for Byzantine Fault Tolerant Clock Synchronization

Proceedings of the Second International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
Verification of Fault-Tolerant Clock Synchronization Systems

Verification of Fault-Tolerant Clock Synchronization Systems

Hi-index	0.00