Oct. 13 - Correctness and Atomicity with Maurice Herlihy

Oct. 13 - Correctness and Atomicity with Maurice Herlihy