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

@@ Property / describes a project that uses @@
+AtomCaml
@@ Property / describes a project that uses: AtomCaml / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SAMOA
@@ Property / describes a project that uses: SAMOA / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W4224046843
@@ Property / OpenAlex ID: W4224046843 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.06275
@@ Property / arXiv ID: 1506.06275 / rank @@
+Normal rank
@@ 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