Distributed Systems Fall 2009 Logical time, global states, and debugging.
Distributed Systems Fall 2009 Course introduction.
Distributed Systems Fall 2009 Distributed transactions.