Investigating the limits of rely/guarantee relations based on a concurrent garbage collector example (Q2418046): Difference between revisions

@@ Property / cites work @@
+Algorithms for on-the-fly garbage collection
@@ Property / cites work: Algorithms for on-the-fly garbage collection / rank @@
+Normal rank
@@ Property / cites work @@
+Inter-process buffers in separation logic with rely-guarantee
+Normal rank
@@ Property / cites work @@
+Explanation of two non-blocking shared-variable communication algorithms
+Normal rank
@@ Property / cites work @@
+Refinement Calculus
@@ Property / cites work: Refinement Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+A Structural Proof of the Soundness of Rely/guarantee Rules
+Normal rank
@@ Property / cites work @@
+Deny-Guarantee Reasoning
@@ Property / cites work: Deny-Guarantee Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Q4471919
@@ Property / cites work: Q4471919 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Relationship Between Concurrent Separation Logic and Assume-Guarantee Reasoning
+Normal rank
@@ Property / cites work @@
+Lock-free parallel and concurrent garbage collection by mark\&sweep
+Normal rank
@@ Property / cites work @@
+Simple concurrent garbage collection almost without synchronization
+Normal rank
@@ Property / cites work @@
+Possible values: exploring a concept for concurrency
+Normal rank
@@ Property / cites work @@
+Balancing expressiveness in formal approaches to concurrency
+Normal rank
@@ Property / cites work @@
+Tentative steps toward a development method for interfering programs
+Normal rank
@@ Property / cites work @@
+Q3997074
@@ Property / cites work: Q3997074 / rank @@
+Normal rank
@@ Property / cites work @@
+Elucidating concurrent algorithms via layers of abstraction and reification
+Normal rank
@@ Property / cites work @@
+Reasoning about Separation Using Abstraction and Reification
+Normal rank
@@ Property / cites work @@
+Q5531462
@@ Property / cites work: Q5531462 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3996918
@@ Property / cites work: Q3996918 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536398
@@ Property / cites work: Q4536398 / rank @@
+Normal rank
@@ Property / cites work @@
+Isabelle/HOL. A proof assistant for higher-order logic
+Normal rank
@@ Property / cites work @@
+An axiomatic proof technique for parallel programs
+Normal rank
@@ Property / cites work @@
+Resources, concurrency, and local reasoning
@@ Property / cites work: Resources, concurrency, and local reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Q4178461
@@ Property / cites work: Q4178461 / rank @@
+Normal rank
@@ Property / cites work @@
+Verified software: theories, tools, experiments. Third international conference, VSTTE 2010, Edinburgh, UK, August 16--19, 2010. Proceedings
+Normal rank
@@ Property / cites work @@
+Formal Derivation of Concurrent Garbage Collectors
+Normal rank
@@ Property / cites work @@
+Local reasoning about a copying garbage collector
@@ Property / cites work: Local reasoning about a copying garbage collector / rank @@
+Normal rank
@@ Property / cites work @@
+Modular Safety Checking for Fine-Grained Concurrency
+Normal rank
@@ Property / cites work @@
+Explicit Stabilisation for Modular Rely-Guarantee Reasoning
+Normal rank
@@ Property / cites work @@
+Verifying a concurrent garbage collector using a rely-guarantee methodology
+Normal rank