Foundations for building reliable distributed systems, including failure and system models, and basic communication and agreement problems; crash failures, recovery, partition, Byzantine failures; asynchronous systems, failure detectors, communication channels, wireless and sensor networks; software clocks, causality, cuts. Examples of problems include reliable broadcast, consensus, leader election, group communication, replication.

Usually Offered:	Spring
Credit:	3 hours (class)
Prerequisite:	CS 354 and 422 or the equivalent or consent of the instructor
Restriction:	[Proposed]
University Catalog:	CS 505