Tackling Real-Life Relaxed Concurrency with FSL++ (Q2988652): Difference between revisions

@@ Property / describes a project that uses @@
+CDSChecker
@@ Property / describes a project that uses: CDSChecker / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Rust
@@ Property / describes a project that uses: Rust / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Coq
@@ Property / describes a project that uses: Coq / 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/978-3-662-54434-1_17
+Normal rank
@@ Property / OpenAlex ID @@
+W2596443718
@@ Property / OpenAlex ID: W2596443718 / rank @@
+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 @@
+Mathematizing C++ concurrency
@@ Property / cites work: Mathematizing C++ concurrency / rank @@
+Normal rank
@@ Property / cites work @@
+Permission accounting in separation logic
@@ Property / cites work: Permission accounting in separation logic / rank @@
+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 @@
+Q4813391
@@ Property / cites work: Q4813391 / rank @@
+Normal rank
@@ Property / cites work @@
+Robustness against Power is PSpace-complete
@@ Property / cites work: Robustness against Power is PSpace-complete / rank @@
+Normal rank
@@ Property / cites work @@
+Views
@@ Property / cites work: Views / rank @@
+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 @@
+On Thin Air Reads Towards an Event Structures Model of Relaxed Memory
+Normal rank
@@ Property / cites work @@
+Fictional Separation Logic
@@ Property / cites work: Fictional Separation Logic / rank @@
+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 @@
+Subjective auxiliary state for coarse-grained concurrency
+Normal rank
@@ Property / cites work @@
+CONCUR 2004 - Concurrency Theory
@@ Property / cites work: CONCUR 2004 - Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Separation and information hiding
@@ Property / cites work: Separation and information hiding / rank @@
+Normal rank
@@ Property / cites work @@
+A concurrency semantics for relaxed atomics that permits optimisation and avoids thin-air executions
+Normal rank
@@ Property / cites work @@
+A Separation Logic for Fictional Sequential Consistency
+Normal rank