Workshop: P. Khanchandani, R. Wattenhofer — Concurrent Counting using Compare-and-Swap