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, F. Ellen, and P. Fatourou, The complexity of updating multi-writer snapshot objects, ICDCN '06, pp.319-330

H. Attiya, R. Guerraoui, and E. Ruppert, Partial snapshot objects, Proceedings of the twentieth annual symposium on Parallelism in algorithms and architectures, SPAA '08, pp.336-343
DOI : 10.1145/1378533.1378591

URL : http://infoscience.epfl.ch/record/120525

H. Avni and N. Shavit, Maintaining Consistent Transactional States without a Global Clock, SIROCCO '08, pp.131-140
DOI : 10.1007/978-3-540-69355-0_12

U. Aydonat and T. Abdelrahman, Serializability of transactions in software transactional memory, TRANSACT '08

D. Dice, O. Shalev, and N. Shavit, Transactional Locking II, DISC '06, pp.194-208
DOI : 10.1007/11864219_14

V. Gramoli, D. Harmanci, and P. Felber, Toward a Theory of Input Acceptance for Transactional Memories, OPODIS '08, pp.527-533
DOI : 10.1007/11864219_14

R. Guerraoui, T. A. Henzinger, and V. Singh, Permissiveness in Transactional Memories, DISC '08
DOI : 10.1007/978-3-540-87779-0_21

R. Guerraoui and M. Kapalka, On obstruction-free transactions, Proceedings of the twentieth annual symposium on Parallelism in algorithms and architectures, SPAA '08, pp.304-313
DOI : 10.1145/1378533.1378587

R. Guerraoui and M. Kapalka, On the correctness of transactional memory, Proceedings of the 13th ACM SIGPLAN Symposium on Principles and practice of parallel programming , PPoPP '08, pp.175-184
DOI : 10.1145/1345206.1345233

R. Guerraoui and M. Kapalka, The semantics of progress in lock-based transactional memory, POPL '09, pp.404-415

T. L. Harris, K. Fraser, and I. A. Pratt, A Practical Multi-word Compare-and-Swap Operation, DISC '02, pp.265-279
DOI : 10.1007/3-540-36108-1_18

]. M. Herlihy, V. Luchangco, M. Moir, W. N. Scherer, and I. , Software transactional memory for dynamic-sized data structures, Proceedings of the twenty-second annual symposium on Principles of distributed computing , PODC '03, pp.92-101
DOI : 10.1145/872035.872048

M. Herlihy and N. Shavit, The art of multiprocessor programming, Proceedings of the twenty-fifth annual ACM symposium on Principles of distributed computing , PODC '06, 2008.
DOI : 10.1145/1146381.1146382

M. P. Herlihy and J. M. Wing, Linearizability: a correctness condition for concurrent objects, ACM Transactions on Programming Languages and Systems, vol.12, issue.3, pp.463-492, 1990.
DOI : 10.1145/78969.78972

D. Imbs and M. , A lock-based protocol for software transactional memory, OPODIS '08, pp.226-245
URL : https://hal.archives-ouvertes.fr/inria-00277378

A. Israeli and L. Rappoport, Disjoint-access-parallel implementations of strong shared memory primitives, Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing , PODC '94, pp.151-160
DOI : 10.1145/197917.198079

A. Israeli and A. Shirazi, The time complexity of updating snapshot memories, Information Processing Letters, vol.65, issue.1, pp.33-40, 1998.
DOI : 10.1016/S0020-0190(97)00189-0

S. Lu, A. Bernstein, and P. Lewis, Correct execution of transactions at different isolation levels, IEEE Transactions on Knowledge and Data Engineering, vol.16, issue.9, pp.1070-1081, 2004.
DOI : 10.1109/TKDE.2004.34

J. Napper and L. Alvisi, Lock-free serializable transactions, 2005.

C. H. Papadimitriou, The serializability of concurrent database updates, Journal of the ACM, vol.26, issue.4, pp.631-653, 1979.
DOI : 10.1145/322154.322158

T. Riegel, P. Felber, and C. Fetzer, A Lazy Snapshot Algorithm with Eager Validation, DISC '06, pp.284-298
DOI : 10.1007/11864219_20

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.120.8994

T. Riegel, C. Fetzer, and P. Felber, Snapshot isolation for software transactional memory, TRANSACT '06

T. Riegel, C. Fetzer, H. Sturzrehm, and P. Felber, From causal to z-linearizable transactional memory, Proceedings of the twenty-sixth annual ACM symposium on Principles of distributed computing, PODC '07, pp.340-341
DOI : 10.1145/1281100.1281162

G. Weikum and G. Vossen, Transactional Information Systems: Theory, Algorithms, and the Practice of Concurrency Control and Recovery, 2001.