Proving opacity of transactional memory with early release (Q902713): 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 / full work available at URL @@
+https://doi.org/10.1515/fcds-2015-0018
+Normal rank
@@ Property / OpenAlex ID @@
+W2475363151
@@ Property / OpenAlex ID: W2475363151 / rank @@
+Normal rank
@@ 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