Y. Afek, H. Attiya, D. Dolev, E. Gafni, M. Merritt et al., Atomic snapshots of shared memory, Journal of the ACM, vol.40, issue.4, pp.873-890, 1993.
DOI : 10.1145/153724.153741

H. Attiya, A. Bar-noy, and D. Dolev, Sharing memory robustly in message-passing systems, Journal of the ACM, vol.42, issue.1, pp.124-142, 1995.
DOI : 10.1145/200836.200869

H. Attiya, M. Herlihy, and O. Rachman, Atomic snapshots using lattice agreement, Distributed Computing, pp.121-132, 1995.
DOI : 10.1007/BF02242714

H. Attiya and O. Rachman, ) Operations, SIAM Journal on Computing, vol.27, issue.2, pp.319-340, 1998.
DOI : 10.1137/S0097539795279463

H. Attiya, L. Jennifer, and . Welch, Sequential consistency versus linearizability, ACM Transactions on Computer Systems, vol.12, issue.2, pp.91-122, 1994.
DOI : 10.1145/176575.176576

B. Awerbuch, Complexity of network synchronization, Journal of the ACM, vol.32, issue.4, pp.804-823, 1985.
DOI : 10.1145/4221.4227

P. Kenneth, . Birman, A. Thomas, and . Joseph, Reliable communication in the presence of failures, ACM Transactions on Computer Systems (TOCS), vol.5, issue.1, pp.47-76, 1987.

E. Borowsky and E. Gafni, Immediate atomic snapshots and fast renaming (extended abstract)

B. Charron-bost and A. Schiper, The Heard-Of model: computing in distributed systems with benign faults, Distributed Computing, vol.384, issue.3, pp.49-71, 2009.
DOI : 10.1007/s00446-009-0084-6

C. Dwork, N. A. Lynch, and L. J. Stockmeyer, Consensus in the presence of partial synchrony, Journal of the ACM, vol.35, issue.2, pp.288-323, 1988.
DOI : 10.1145/42282.42283

C. Dwork, M. Herlihy, A. Serge, O. Plotkin, and . Waarts, Time-lapse snapshots, Theory of Computing and Systems, pp.154-170, 1992.

E. Gafni, Distributed Computing: a Glimmer of a Theory, in Handbook of Computer Science, 1998.

E. Gafni, Round-by-round fault detectors (extended abstract), Proceedings of the seventeenth annual ACM symposium on Principles of distributed computing , PODC '98, pp.143-152, 1998.
DOI : 10.1145/277697.277724

R. James and . Goodman, Cache consistency and sequential consistency, 1991.

P. Maurice, J. M. Herlihy, and . Wing, Linearizability: A correctness condition for concurrent objects, ACM Transactions on Programming Languages and Systems (TOPLAS), vol.12, issue.3, pp.463-492, 1990.

M. Lefteris, . Kirousis, and G. Paul, Spirakis, and Philippas Tsigas Reading many variables in one atomic operation: Solutions with linear or sublinear complexity, IEEE Trans. Parallel Distrib. Syst, vol.5, issue.7, pp.688-696, 1994.

L. Lamport, How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs, IEEE Transactions on Computers, vol.28, issue.9, pp.690-691, 1979.
DOI : 10.1109/TC.1979.1675439

J. Richard, . Lipton, S. Jonathan, and . Sandberg, PRAM: A scalable shared memory, 1988.

Y. Riany, N. Shavit, and D. Touitou, Towards a practical snapshot algorithm, Theoretical Computer Science, vol.269, issue.1-2, pp.163-201, 2001.
DOI : 10.1016/S0304-3975(00)00412-6