Proving opacity of transactional memory with early release (Q902713): Difference between revisions

@@ Property / cites work @@
+A programming language perspective on transactional memory consistency
+Normal rank
@@ Property / cites work @@
+Towards formally specifying and verifying transactional memory
+Normal rank
@@ Property / cites work @@
+Q4967167
@@ Property / cites work: Q4967167 / rank @@
+Normal rank
@@ Property / cites work @@
+Elastic Transactions
@@ Property / cites work: Elastic Transactions / rank @@
+Normal rank
@@ Property / cites work @@
+The semantics of progress in lock-based transactional memory
+Normal rank
@@ Property / cites work @@
+Transactional Memory: Glimmer of a Theory
@@ Property / cites work: Transactional Memory: Glimmer of a Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q3713577
@@ Property / cites work: Q3713577 / rank @@
+Normal rank
@@ Property / cites work @@
+The serializability of concurrent database updates
+Normal rank
@@ Property / cites work @@
+AtomCaml
@@ Property / cites work: AtomCaml / rank @@
+Normal rank
@@ Property / cites work @@
+Software transactional memory
@@ Property / cites work: Software transactional memory / rank @@
+Normal rank