Presentations
- Darius Antia. Mutual Exclusion without atomic operations.
Reading material
Pages 49-59 of Higher-order Concurrency1
1
- John H. Reppy.
Higher-order Concurrency.
Computer Science Technical Report 92-1285,
Cornell University,
June 1992.
Additional material