A perspective on specifying and verifying concurrent modules (Q1648035): Difference between revisions

@@ Property / cites work @@
+Verifying properties of parallel programs
@@ Property / cites work: Verifying properties of parallel programs / rank @@
+Normal rank
@@ Property / cites work @@
+Resources, concurrency, and local reasoning
@@ Property / cites work: Resources, concurrency, and local reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Iris
@@ Property / cites work: Iris / rank @@
+Normal rank
@@ Property / cites work @@
+Communicating State Transition Systems for Fine-Grained Concurrent Resources
+Normal rank
@@ Property / cites work @@
+Specifying and Verifying Concurrent Algorithms with Histories and Subjectivity
+Normal rank
@@ Property / cites work @@
+Expressive modular fine-grained concurrency specification
+Normal rank
@@ Property / cites work @@
+An axiomatic basis for computer programming
@@ Property / cites work: An axiomatic basis for computer programming / rank @@
+Normal rank
@@ Property / cites work @@
+BI as an assertion language for mutable data structures
+Normal rank
@@ Property / cites work @@
+A semantics for concurrent separation logic
@@ Property / cites work: A semantics for concurrent separation logic / rank @@
+Normal rank
@@ Property / cites work @@
+The Logic of Bunched Implications
@@ Property / cites work: The Logic of Bunched Implications / rank @@
+Normal rank
@@ Property / cites work @@
+Local rely-guarantee reasoning
@@ Property / cites work: Local rely-guarantee reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Deny-Guarantee Reasoning
@@ Property / cites work: Deny-Guarantee Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Q4813391
@@ Property / cites work: Q4813391 / 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 @@
+Subjective auxiliary state for coarse-grained concurrency
+Normal rank
@@ Property / cites work @@
+Unifying refinement and hoare-style reasoning in a logic for higher-order concurrency
+Normal rank
@@ Property / cites work @@
+Modular Reasoning about Separation of Concurrent Data Structures
+Normal rank
@@ Property / cites work @@
+Impredicative Concurrent Abstract Predicates
@@ Property / cites work: Impredicative Concurrent Abstract Predicates / rank @@
+Normal rank
@@ Property / cites work @@
+Abstraction for Concurrent Objects
@@ Property / cites work: Abstraction for Concurrent Objects / rank @@
+Normal rank
@@ Property / cites work @@
+Views
@@ Property / cites work: Views / rank @@
+Normal rank
@@ Property / cites work @@
+Separation logic and abstraction
@@ Property / cites work: Separation logic and abstraction / rank @@
+Normal rank
@@ Property / cites work @@
+Linearizability with Ownership Transfer
@@ Property / cites work: Linearizability with Ownership Transfer / rank @@
+Normal rank
@@ Property / cites work @@
+Modular Termination Verification for Non-blocking Concurrency
+Normal rank
@@ Property / cites work @@
+Caper
@@ Property / cites work: Caper / rank @@
+Normal rank
@@ Property / cites work @@
+CoLoSL: Concurrent Local Subjective Logic
@@ Property / cites work: CoLoSL: Concurrent Local Subjective Logic / rank @@
+Normal rank