Snapshot. A snapshot object provides two operations denoted write() and snapshot() [1, 3]. Such an object can be seen as an array of single-writer multi-reader atomic register SN [1..n] such that:
Appears in 4 contracts
Samples: sancy.iut.uca.fr, hal.science, hal.science