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, Needed, ACM SIGACT News, vol.39, issue.1, pp.59-61, 2008.
DOI : 10.1145/1360443.1360457

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, 2008.
DOI : 10.1145/1378533.1378591

U. Aydonat and T. S. Abdelrahaman, Serializability of Transactions in Software Transactional Memory, Proc. 3rd ACM Workshop on Transactional Computing (TRANSAC'08), pp.91-100, 2008.

O. Babao?-glü and K. Marzullo, Consistent Global States of Distributed Systems: Fundamental Concepts and Mechanisms. Chapter, Distributed Systems, pp.55-93, 1993.

B. A. Ph, D. W. Shipman, and W. S. Wong, Formal Aspects of Serializability in Database Concurrency Control, IEEE Transactions on Software Engineering, issue.3, pp.5203-216, 1979.

J. Cachopo and A. Rito-silva, Versioned boxes as the basis for memory transactions, Science of Computer Programming, vol.63, issue.2, pp.172-175, 2006.
DOI : 10.1016/j.scico.2006.05.009

K. M. Chandy and L. Lamport, Distributed snapshots: determining global states of distributed systems, ACM Transactions on Computer Systems, vol.3, issue.1, pp.63-75, 1985.
DOI : 10.1145/214451.214456

R. Cooper and K. Marzullo, Consistent Detection of Global Predicates, Proc. ACM/ONR Workshop on Parallel and Distributed Debugging, pp.167-174, 1991.

P. Felber, F. Ch, R. Guerraoui, and T. Harris, Transactions are coming Back, but Are They The Same?, pp.48-58, 2008.

R. Guerraoui, H. A. Th, and V. Singh, Permissiveness in Transactional Memories, Proc. 22th Int'l Symposium on Distributed Computing (DISC'08), pp.305-319, 2008.
DOI : 10.1007/978-3-540-87779-0_21

R. Guerraoui and M. Kapa?ka, 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, 2008.
DOI : 10.1145/1345206.1345233

J. Hélary, A. Mostéfaoui, and M. Raynal, Interval Consistency of Asynchronous Distributed Computations, Journal of Computer and System Sciences, vol.64, issue.2, pp.329-349, 2002.
DOI : 10.1006/jcss.2001.1819

M. P. Herlihy and V. Luchangco, Distributed computing and the multicore revolution, ACM SIGACT News, vol.39, issue.1, pp.62-72, 2008.
DOI : 10.1145/1360443.1360458

M. P. Herlihy, V. Luchangco, M. Moir, and I. W. Scherer, 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, 2003.
DOI : 10.1145/872035.872048

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. Raynal, A Lock-Based STM Protocol That Satisfies Opacity and Progressiveness, 12th Int'l Conference On Principles Of Distributed Systems (OPODIS'08 Springer-Verlag LNCS #5401, pp.226-245, 2008.
DOI : 10.1007/s004460050028

D. Imbs and M. Raynal, Help When Needed, but No More: Efficient Read/Write Partial Snapshots, 2008.

D. Imbs, M. Raynal, S. Provable, and . Properties, Leveraging Clock and Locks to Favor Commit and Early Abort, Proc. 10th Int'l Conference on Distributed Computing and Networking (ICDCN'09), pp.67-78, 2009.
URL : https://hal.archives-ouvertes.fr/inria-00281550

A. Kshemkalyani, A framework for viewing atomic events in distributed computations, Theoretical Computer Science, vol.196, issue.1-2, pp.45-70, 1998.
DOI : 10.1016/S0304-3975(97)00195-3

L. Lamport, Time, clocks, and the ordering of events in a distributed system, Communications of the ACM, vol.21, issue.7, pp.558-565, 1978.
DOI : 10.1145/359545.359563

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. Larus and K. Ch, Transactional memory, Communications of the ACM, vol.51, issue.7, pp.80-89, 2008.
DOI : 10.1145/1364782.1364800

F. Mattern, Virtual Time and Global States in Distributed Computations, Proc. Int'l Workshop on Parallel and Distributed Algorithms, pp.215-226, 1989.

P. H. Ch, The Serializability of Concurrent Updates, Journal of the ACM, vol.26, issue.4, pp.631-653, 1979.

M. Raynal, Sequential Consistency as Lazy Linearizability, BA. Proc. 14th ACM Symposium on Parallel Algorithms and Architectures (SPAA'02, pp.151-152, 2002.

M. Raynal, G. Thia-kime, and M. Ahamad, From serializable to causal transactions Full version: From serializable to causal transactions for collaborative applications, BA. Proc. 15th ACM Symposium on Distributed Computing (PODC'96) Proc. 23th EUROMICRO Conference, pp.310-314, 1996.

T. Riegel, C. Fetzer, and P. Felber, Time-based transactional memory with scalable time bases, Proceedings of the nineteenth annual ACM symposium on Parallel algorithms and architectures , SPAA '07, pp.221-228, 2007.
DOI : 10.1145/1248377.1248415

R. Schwarz and F. Mattern, Detecting Causal Relationship in Distributed Computations, Search of the Holy Grail. Distributed Computing, pp.149-174, 1993.

L. M. Scott, Sequential Specification of Transactional Memory Semantics, Proc. First ACM SIGPLAN Workshop on Languages, Compilers, and Hardware Support for Transactional Computing (TRANSACT'06), 2006.

N. Shavit and D. Touitou, Software Transactional Memory, Distributed Computing, pp.99-116, 1997.

M. F. Spear, V. J. Marathe, I. W. Scherer, and M. L. Scott, Conflict Detection and Validation Strategies for Software Transactional Memory, Proc. 20th Symposium on Distributed Computing (DISC'06), pp.179-193, 2006.
DOI : 10.1007/11864219_13