Last-use opacity: a strong safety property for transactional memory with prerelease support (Q2146873): Difference between revisions

@@ Property / cites work @@
+A programming language perspective on transactional memory consistency
+Normal rank
@@ Property / cites work @@
+Formal Aspects of Serializability in Database Concurrency Control
+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 @@
+A theory of reliability in database systems
@@ Property / cites work: A theory of reliability in database systems / rank @@
+Normal rank
@@ Property / cites work @@
+Virtual world consistency: a condition for STM systems (with a versatile protocol with invisible read operations)
+Normal rank
@@ Property / cites work @@
+Proving the Correctness of Multiprocess Programs
@@ Property / cites work: Proving the Correctness of Multiprocess Programs / 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