Lecture Notes
Class 25
Description:
Lecture presentation on partially synchronous (timed) distributed systems, modeling timed systems, proof methods, mutual exclusion in timed systems, consensus in timed systems, and clock synchronization.
Resource Type:
Lecture Notes
pdf
168 kB
Class 25
Course Info
Instructor
As Taught In
Fall
2009
Level
Learning Resource Types
assignment
Problem Sets
notes
Lecture Notes