The notions of consistency and predicate locks in a database system, Communications of the ACM, vol.19, issue.11, pp.624-633, 1976. ,
DOI : 10.1145/360363.360369
The serializability of concurrent database updates, Journal of the ACM, vol.26, issue.4, pp.631-653, 1979. ,
DOI : 10.1145/322154.322158
Guardians and actions, Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '82, pp.7-19, 1982. ,
DOI : 10.1145/582153.582155
The argus language and system. In: Distributed Systems: Methods and Tools for Specification, An Advanced Course, LNCS, vol.190, pp.343-430, 1985. ,
DOI : 10.1109/iccsse.1988.72263
The Eden System: A Technical Review, IEEE Transactions on Software Engineering, vol.11, issue.1, pp.43-59, 1985. ,
DOI : 10.1109/TSE.1985.231536
Nesting actions through asynchronous message passing : The ACS protocol, LNCS, vol.615, pp.170-184, 1992. ,
DOI : 10.1007/BFb0053036
An architecture for mostly functional languages, Proceedings of the 1986 ACM conference on LISP and functional programming , LFP '86, pp.105-112, 1986. ,
DOI : 10.1145/319838.319854
Transactional memory, ACM SIGARCH Computer Architecture News, vol.21, issue.2, pp.289-300, 1993. ,
DOI : 10.1145/173682.165164
Early experience with a commercial hardware transactional memory implementation, ACM SIGPLAN Notices, vol.44, issue.3, pp.157-168, 2009. ,
DOI : 10.1145/1508284.1508263
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.214.9376
Sane semantics of best-effort hardware transactional memory, In: WTTM, 2010. ,
Hybrid NOrec: a case study in the effectiveness of best effort hardware transactional memory, pp.39-52, 2011. ,
Software transactional memory, In: PODC, pp.204-213, 1995. ,
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
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.222.1147
Transactional Locking II, LNCS, vol.4167, 2006. ,
DOI : 10.1007/11864219_14
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.90.811
A Lazy Snapshot Algorithm with Eager Validation, LNCS, vol.4167, 2006. ,
DOI : 10.1007/11864219_20
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.120.8994
Stretching transactional memory, In: PLDI, pp.155-165, 2011. ,
STMBench7: a benchmark for software transactional memory, In: EuroSys, pp.315-324, 2007. ,
Atomic Boxes: Coordinated Exception Handling with Transactional Memory, LNCS, vol.13, issue.8, pp.634-657, 2011. ,
DOI : 10.1145/1629575.1629591
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.221.900
Software transactional memory, Communications of the ACM, vol.51, issue.11, pp.46-58, 2008. ,
DOI : 10.1145/1400214.1400228
Why STM can be more than a research toy, Communications of the ACM, vol.54, issue.4, pp.70-77, 2011. ,
DOI : 10.1145/1924421.1924440
Multilevel atomicity---a new correctness criterion for database concurrency control, ACM Transactions on Database Systems, vol.8, issue.4, 1983. ,
DOI : 10.1145/319996.319999
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.13.7602
Open nested transactions: Semantics and support, In: WMPI, 2006. ,
Concurrency on high-traffic data elements, Proceedings of the 1st ACM SIGACT-SIGMOD symposium on Principles of database systems , PODS '82, pp.83-92, 1982. ,
DOI : 10.1145/588111.588126
The Escrow transactional method, ACM Transactions on Database Systems, vol.11, issue.4, pp.405-430, 1986. ,
DOI : 10.1145/7239.7265
Elastic transactions, LNCS, vol.5805, pp.93-107, 2009. ,
High performance dynamic lock-free hash tables and list-based sets, Proceedings of the fourteenth annual ACM symposium on Parallel algorithms and architectures , SPAA '02, pp.73-82, 2002. ,
DOI : 10.1145/564870.564881
A lazy concurrent list-based set algorithm, In: OPODIS. LNCS, vol.3974, pp.3-16, 2005. ,
Composable memory transactions, In: PPoPP, pp.48-60, 2005. ,
DOI : 10.1145/1378704.1378725
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.415.7792
The google file system, In: SOSP, 2003. ,
DOI : 10.1145/945445.945450
Two-handed emulation, Proceedings of the twenty-first annual symposium on Principles of distributed computing , PODC '02, pp.260-269, 2002. ,
DOI : 10.1145/571825.571874
Advanced contention management for dynamic software transactional memory, Proceedings of the twenty-fourth annual ACM SIGACT-SIGOPS symposium on Principles of distributed computing , PODC '05, pp.240-248, 2005. ,
DOI : 10.1145/1073814.1073861
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.509.1786
ON THE INPUT ACCEPTANCE OF TRANSACTIONAL MEMORY, Parallel Processing Letters, vol.20, issue.01, pp.31-50, 2010. ,
DOI : 10.1145/62.322425
A Pragmatic Implementation of Non-blocking Linked-lists, LNCS, vol.2180, pp.300-314, 2001. ,
DOI : 10.1007/3-540-45414-4_21
Java Concurrency in Practice, 2005. ,
Open nesting in software transactional memory, Proceedings of the 12th ACM SIGPLAN symposium on Principles and practice of parallel programming , PPoPP '07, 2007. ,
DOI : 10.1145/1229428.1229442
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.383.9279
Transactional boosting, Proceedings of the 13th ACM SIGPLAN Symposium on Principles and practice of parallel programming , PPoPP '08, 2008. ,
DOI : 10.1145/1345206.1345237
Extensible transactional memory testbed, Journal of Parallel and Distributed Computing, vol.70, issue.10, pp.1053-1067, 2010. ,
DOI : 10.1016/j.jpdc.2010.02.008
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.172.188
Toxic transactions, In: Transact, 2011. ,