Linearizability on hardware weak memory models (Q782494): Difference between revisions

@@ Property / cites work @@
+The existence of refinement mappings
@@ Property / cites work: The existence of refinement mappings / rank @@
+Normal rank
@@ Property / cites work @@
+Checking and Enforcing Robustness against TSO
@@ Property / cites work: Checking and Enforcing Robustness against TSO / rank @@
+Normal rank
@@ Property / cites work @@
+Concurrent Library Correctness on the TSO Memory Model
+Normal rank
@@ Property / cites work @@
+Deciding Robustness against Total Store Ordering
@@ Property / cites work: Deciding Robustness against Total Store Ordering / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematizing C++ concurrency
@@ Property / cites work: Mathematizing C++ concurrency / rank @@
+Normal rank
@@ Property / cites work @@
+A wide-spectrum language for verification of programs on weak memory models
+Normal rank
@@ Property / cites work @@
+Making Linearizability Compositional for Partially Ordered Executions
+Normal rank
@@ Property / cites work @@
+On abstraction and compositionality for weak-memory linearisability
+Normal rank
@@ Property / cites work @@
+A Framework for Correctness Criteria on Weak Memory Models
+Normal rank
@@ Property / cites work @@
+Reasoning Algebraically About Refinement on TSO Architectures
+Normal rank
@@ Property / cites work @@
+Abstraction for concurrent objects
@@ Property / cites work: Abstraction for concurrent objects / rank @@
+Normal rank
@@ Property / cites work @@
+Show No Weakness: Sequentially Consistent Specifications of TSO Libraries
+Normal rank
@@ Property / cites work @@
+Liveness-Preserving Atomicity Abstraction
@@ Property / cites work: Liveness-Preserving Atomicity Abstraction / rank @@
+Normal rank
@@ Property / cites work @@
+Relating trace refinement and linearizability
@@ Property / cites work: Relating trace refinement and linearizability / rank @@
+Normal rank