Atomic snapshots of shared memory, Journal of the ACM, vol.40, issue.4, pp.873-890, 1993. ,
DOI : 10.1145/153724.153741
Needed, ACM SIGACT News, vol.39, issue.1, pp.59-61, 2008. ,
DOI : 10.1145/1360443.1360457
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
Serializability of Transactions in Software Transactional Memory, Proc. 3rd ACM Workshop on Transactional Computing (TRANSAC'08), pp.91-100, 2008. ,
Consistent Global States of Distributed Systems: Fundamental Concepts and Mechanisms. Chapter, Distributed Systems, pp.55-93, 1993. ,
Formal Aspects of Serializability in Database Concurrency Control, IEEE Transactions on Software Engineering, issue.3, pp.5203-216, 1979. ,
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
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
Consistent Detection of Global Predicates, Proc. ACM/ONR Workshop on Parallel and Distributed Debugging, pp.167-174, 1991. ,
Transactions are coming Back, but Are They The Same?, pp.48-58, 2008. ,
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
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
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
Distributed computing and the multicore revolution, ACM SIGACT News, vol.39, issue.1, pp.62-72, 2008. ,
DOI : 10.1145/1360443.1360458
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
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
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
Help When Needed, but No More: Efficient Read/Write Partial Snapshots, 2008. ,
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 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
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
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
Transactional memory, Communications of the ACM, vol.51, issue.7, pp.80-89, 2008. ,
DOI : 10.1145/1364782.1364800
Virtual Time and Global States in Distributed Computations, Proc. Int'l Workshop on Parallel and Distributed Algorithms, pp.215-226, 1989. ,
The Serializability of Concurrent Updates, Journal of the ACM, vol.26, issue.4, pp.631-653, 1979. ,
Sequential Consistency as Lazy Linearizability, BA. Proc. 14th ACM Symposium on Parallel Algorithms and Architectures (SPAA'02, pp.151-152, 2002. ,
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. ,
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
Detecting Causal Relationship in Distributed Computations, Search of the Holy Grail. Distributed Computing, pp.149-174, 1993. ,
Sequential Specification of Transactional Memory Semantics, Proc. First ACM SIGPLAN Workshop on Languages, Compilers, and Hardware Support for Transactional Computing (TRANSACT'06), 2006. ,
Software Transactional Memory, Distributed Computing, pp.99-116, 1997. ,
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