Guerraoui, RachidKapalka, Michal2009-05-192009-05-192009-05-19200910.1007/978-3-642-02658-4_1https://infoscience.epfl.ch/handle/20.500.14299/40173WOS:000270444900001Transactional memory (TM) is a promising paradigm for concurrent programming. This paper is an overview of our recent theoretical work on defining a theory of TM. We first recall some TM correctness properties and then overview results on the inherent power and limitations of TMs.transactional memorytheorytext::conference output::conference proceedings::conference paper