CS 643 - Distributed Systems

Units: 3
Distributed Systems theory and semantics. Topics may include: temporal logic, proof of program properties, time (logical clocks), state (distributed snapshots), fault-tolerance, replication, rollback recovery, processes and threads, Remote Procedure Calls, file systems. Programming projects and review of literature.

Prerequisites: CS 441 or CS 621.
Credit Restrictions: Computer Science M.S. or B.S. students only.
Equivalent Quarter Course: CS 6580.
Possible Instructional Methods: Entirely On-ground.
Grading: A-F grading only.