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: Variable
  • Frequency: Every term

Prerequisites

Requirements and Grading