709 search results - page 5 / 142 » An Equational Theory for Transactions |
PODC
2005
ACM
14 years 29 days ago
2005
ACM
In recent software transactional memory proposals, a contention manager module is responsible for ensuring that the system as a whole makes progress. A number of contention manage...
CAV
2009
Springer
14 years 8 months ago
2009
Springer
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 s...
OPODIS
2008
13 years 8 months ago
2008
KRDB
2001
13 years 8 months ago
2001
MFPS
1993
13 years 11 months ago
1993
All known structures involving a constructively obtainable fixed point (or iteration) operation satisfy the equational laws defining iteration theories. Hence, there seems to be...