Alice 100 START x Bob COMMIT Time get(x) => 100 set(x, 150) 150 250 get(x) => 100 set(x, 250) START COMMIT