Barriers in Concurrent Separation Logic (Q3000585): Difference between revisions

@@ Property / cites work @@
+Separation Logic for Small-Step cminor
@@ Property / cites work: Separation Logic for Small-Step cminor / rank @@
+Normal rank
@@ Property / cites work @@
+Concurrent Separation Logic for Pipelined Parallelization
+Normal rank
@@ Property / cites work @@
+Permission accounting in separation logic
@@ Property / cites work: Permission accounting in separation logic / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2004 - Concurrency Theory
@@ Property / cites work: CONCUR 2004 - Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Interprocedural Shape Analysis with Separated Heap Abstractions
+Normal rank
@@ Property / cites work @@
+Local Reasoning for Storable Locks and Threads
@@ Property / cites work: Local Reasoning for Storable Locks and Threads / rank @@
+Normal rank
@@ Property / cites work @@
+Oracle Semantics for Concurrent Separation Logic
@@ Property / cites work: Oracle Semantics for Concurrent Separation Logic / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of indirection via approximation
@@ Property / cites work: A theory of indirection via approximation / rank @@
+Normal rank
@@ Property / cites work @@
+Expressive modular fine-grained concurrency specification
+Normal rank
@@ Property / cites work @@
+Resources, concurrency, and local reasoning
@@ Property / cites work: Resources, concurrency, and local reasoning / rank @@
+Normal rank