Computer Laboratory, William Gates Building, Room FN05 2017-07-25 13:15: Lock-freeness for Reagents (Nicolas Assouad ENS/OCL)