Simple Executions of Snapshot Implementations. - Amram, Gal; Mizrahi, Lior; Weiss, Gera (CoRR, 2015)