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

@@ Property / DOI @@
-.1007/s00165-019-00499-8
@@ Property / DOI: 10.1007/s00165-019-00499-8 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+SPIN
@@ Property / describes a project that uses: SPIN / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Line-up
@@ Property / describes a project that uses: Line-up / 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.1007/s00165-019-00499-8
+Normal rank
@@ Property / OpenAlex ID @@
+W2989289194
@@ Property / OpenAlex ID: W2989289194 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q126807837
@@ Property / Wikidata QID: Q126807837 / rank @@
+Normal rank
@@ 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
@@ Property / DOI @@
+.1007/S00165-019-00499-8
@@ Property / DOI: 10.1007/S00165-019-00499-8 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:782494