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

Course Info

Learning Resource Types

assignment Problem Sets
notes Lecture Notes