Abstract Specifications for Concurrent Maps (Q2988678): Difference between revisions

@@ Property / cites work @@
+Permission accounting in separation logic
@@ Property / cites work: Permission accounting in separation logic / rank @@
+Normal rank
@@ Property / cites work @@
+Steps in modular specifications for concurrent modules (invited tutorial paper)
+Normal rank
@@ Property / cites work @@
+Modular Termination Verification for Non-blocking Concurrency
+Normal rank
@@ Property / cites work @@
+Views
@@ Property / cites work: Views / rank @@
+Normal rank
@@ Property / cites work @@
+Caper
@@ Property / cites work: Caper / rank @@
+Normal rank
@@ Property / cites work @@
+Deny-Guarantee Reasoning
@@ Property / cites work: Deny-Guarantee Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Q4436059
@@ Property / cites work: Q4436059 / rank @@
+Normal rank
@@ Property / cites work @@
+Expressive modular fine-grained concurrency specification
+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 @@
+Resources, concurrency, and local reasoning
@@ Property / cites work: Resources, concurrency, and local reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Verifying linearizability with hindsight
@@ Property / cites work: Verifying linearizability with hindsight / rank @@
+Normal rank
@@ Property / cites work @@
+Specifying and Verifying Concurrent Algorithms with Histories and Subjectivity
+Normal rank
@@ Property / cites work @@
+Impredicative Concurrent Abstract Predicates
@@ Property / cites work: Impredicative Concurrent Abstract Predicates / rank @@
+Normal rank
@@ Property / cites work @@
+Unifying refinement and hoare-style reasoning in a logic for higher-order concurrency
+Normal rank
@@ Property / cites work @@
+A Marriage of Rely/Guarantee and Separation Logic
@@ Property / cites work: A Marriage of Rely/Guarantee and Separation Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract Specifications for Concurrent Maps
@@ Property / cites work: Abstract Specifications for Concurrent Maps / rank @@
+Normal rank