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

@@ Property / describes a project that uses @@
+Mechanized Semantic Library
@@ Property / describes a project that uses: Mechanized Semantic Library / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Coq
@@ Property / describes a project that uses: Coq / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+pthreads
@@ Property / describes a project that uses: pthreads / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2153880165
@@ Property / OpenAlex ID: W2153880165 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.6412
@@ Property / arXiv ID: 1203.6412 / rank @@
+Normal rank
@@ 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