Making Linearizability Compositional for Partially Ordered Executions (Q6104493): Difference between revisions

@@ Property / cites work @@
+Stateless model checking for TSO and PSO
@@ Property / cites work: Stateless model checking for TSO and PSO / rank @@
+Normal rank
@@ Property / cites work @@
+Causal memory: definitions, implementation, and programming
+Normal rank
@@ Property / cites work @@
+Library abstraction for C/C++ concurrency
@@ Property / cites work: Library abstraction for C/C++ concurrency / rank @@
+Normal rank
@@ Property / cites work @@
+Overhauling SC atomics in C11 and OpenCL
@@ Property / cites work: Overhauling SC atomics in C11 and OpenCL / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematizing C++ concurrency
@@ Property / cites work: Mathematizing C++ concurrency / rank @@
+Normal rank
@@ Property / cites work @@
+Proving linearizability using forward simulations
@@ Property / cites work: Proving linearizability using forward simulations / rank @@
+Normal rank
@@ Property / cites work @@
+Concurrent Library Correctness on the TSO Memory Model
+Normal rank
@@ Property / cites work @@
+Formal Techniques for Networked and Distributed Systems – FORTE 2004
+Normal rank
@@ Property / cites work @@
+A Program Logic for C11 Memory Fences
@@ Property / cites work: A Program Logic for C11 Memory Fences / rank @@
+Normal rank
@@ Property / cites work @@
+Tackling Real-Life Relaxed Concurrency with FSL++
@@ Property / cites work: Tackling Real-Life Relaxed Concurrency with FSL++ / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning Algebraically About Refinement on TSO Architectures
+Normal rank
@@ Property / cites work @@
+On abstraction and compositionality for weak-memory linearisability
+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 @@
+A promising semantics for relaxed-memory concurrency
+Normal rank
@@ Property / cites work @@
+Taming release-acquire consistency
@@ Property / cites work: Taming release-acquire consistency / rank @@
+Normal rank
@@ Property / cites work @@
+Owicki-Gries Reasoning for Weak Memory Models
@@ Property / cites work: Owicki-Gries Reasoning for Weak Memory Models / rank @@
+Normal rank
@@ Property / cites work @@
+How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs
+Normal rank
@@ Property / cites work @@
+On interprocess communication. I: Basic formalism
@@ Property / cites work: On interprocess communication. I: Basic formalism / rank @@
+Normal rank
@@ Property / cites work @@
+The Java memory model
@@ Property / cites work: The Java memory model / rank @@
+Normal rank
@@ Property / cites work @@
+A Sound and Complete Proof Technique for Linearizability of Concurrent Data Structures
+Normal rank
@@ Property / cites work @@
+Automating deductive verification for weak-memory programs
+Normal rank
@@ Property / cites work @@
+A separation logic for a promising semantics
@@ Property / cites work: A separation logic for a promising semantics / rank @@
+Normal rank