Presentations

  1. Darius Antia. Mutual Exclusion without atomic operations.

Reading material

Pages 49-59 of Higher-order Concurrency1

1

Additional material