1: Clock synchronization.
Lundelius and Lynch
Attiya, Herzberg and Rajsbaum
Patt-Shamir and Rajsbaum
Fault tolerant clock synchronization.
Srikanth and Toueg
Halpern, Simons, Strong and Dolev
2: Practical synchronization protocols.
Cristian
Netowrk time protocol (NTP) (Mills)
Tempo (Gusella and Zati)
3: Logical clocks and their applications.
Lamport (time, clocks, ...)
Mattern (vector clocks)
4: Other methods for achieving synchrony.
Welch
Neiger and Toueg
Awerbuch
Chaudhuri, Gawlick and Lynch
Bounds on the efficiency of synchronizers.
Arjomandi, Fischer and Lynch
Attiya and Mavronicolas
Rhee and Welch
5: Mutual Exclusion, with known time bounds.
Lamport (and Fischer)
Alur, Taubenfeld
Lynch, Shavit
6: Unknown time bounds (leader election, mutual exclusion and consensus)
Vitanyi
Reif and Spirakis
Spirakis and Tampakas
Attiya, Alur and Taubenfeld
7: Semi-synchronous systems, with crash failures.
Cristian, Aghili, Strong and Dolev
Gopal, Strong, Toueg and Cristian
Attiya, Dwork, Lynch and Stockmeyer
8: Semi-synchronous systems, with more severe failures.
Ponzio
Attiya and Djerassi-Shintel
9: Detection of message forwarding failures.*
Herzberg and Kutten
10: Parctical uses of loosly synchronized clocks I,
cache consistency.
Gray and Cheriton
Liskov
11: Practical uses of loosly synchronized clocks II,
communication protocols
Watson
Liskov,Shrira,Wrojlaski
Attiya, Rappoport
Attiya, Kleinberg and Lynch
12: Other topics *
Coan, Thomas
Coan, Welch
* Optional, if time permits.