Distributed snapshots: determining global states of distributed systems
ACM Transactions on Computer Systems (TOCS)
The serializability of concurrent database updates
Journal of the ACM (JACM)
Software transactional memory for dynamic-sized data structures
Proceedings of the twenty-second annual symposium on Principles of distributed computing
Time-based transactional memory with scalable time bases
Proceedings of the nineteenth annual ACM symposium on Parallel algorithms and architectures
On the correctness of transactional memory
Proceedings of the 13th ACM SIGPLAN Symposium on Principles and practice of parallel programming
Transactions are back---but are they the same?
ACM SIGACT News
Needed: foundations for transactional memory
ACM SIGACT News
Distributed computing and the multicore revolution
ACM SIGACT News
Communications of the ACM - Web science
DISC'06 Proceedings of the 20th international conference on Distributed Computing
What theory for transactional memory?
ACM SIGACT News
Extensible transactional memory testbed
Journal of Parallel and Distributed Computing
Transaction communicators: enabling cooperation among concurrent transactions
Proceedings of the 16th ACM symposium on Principles and practice of parallel programming
Correctness of concurrent executions of closed nested transactions in transactional memory systems
ICDCN'11 Proceedings of the 12th international conference on Distributed computing and networking
ICDCN'12 Proceedings of the 13th international conference on Distributed Computing and Networking
Theoretical Computer Science
On the liveness of transactional memory
PODC '12 Proceedings of the 2012 ACM symposium on Principles of distributed computing
A programming language perspective on transactional memory consistency
Proceedings of the 2013 ACM symposium on Principles of distributed computing
Correctness of concurrent executions of closed nested transactions in transactional memory systems
Theoretical Computer Science
On speculative replication of transactional systems
Journal of Computer and System Sciences
| Hi-index | 0.00 |
This BA presents a general consistency condition for software transactionnal memories.