Investigate concurrency, lock-based and lock-free synchronization, resource allocation, multi-threaded programming, distributed systems programming, mutual exclusion, global snapshots, global property evaluation, message ordering, consensus, Byzantine agreement, and commit protocols. Three lecture hours a week for one semester. Electrical and Computer Engineering 360P and Electrical Engineering 360P may not both be counted. Prerequisite: Electrical and Computer Engineering 422C (or Electrical Engineering 422C) and 360C (or Electrical Engineering 360C) with a grade of at least C-.