6.852: Distributed Algorithms Spring, 2008 Class 25-2 Today’s plan Partially synchronous (timed) distributed systems Models for timed systems Proof methods Mutual exclusion…
