CS 3540 Advanced Topics in Concurrent and Distributed Computing

Description

Topics will include algorithms and impossibility results concerning mutual exclusion, barrier synchronization, lock-free synchronization, fault-tolerance, self-stabilization, and verification of concurrent programs. Other topics to be determined according to the interests of the students.

  • Credits: 0

Prerequisites

Requirements and Grading