conference paper
Transactional Memory: Glimmer of a Theory
2009
Computer Aided Verification. CAV 2009
Transactional 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.
Type
conference paper
Web of Science ID
WOS:000270444900001
Author(s)
Kapalka, Michal
Date Issued
2009
Publisher
Published in
Computer Aided Verification. CAV 2009
Series title/Series vol.
Lecture Notes in Computer Science; 5643
Start page
1
End page
15
Subjects
Note
Invited Paper
Editorial or Peer reviewed
REVIEWED
Written at
EPFL
EPFL units
| Event name | Event place | Event date |
Grenoble, France | June 26 - July 2, 2009. | |
Available on Infoscience
May 19, 2009
Use this identifier to reference this record