A semantics for concurrent separation logic (Q879367): Difference between revisions

@@ Property / DOI @@
-.1016/j.tcs.2006.12.034
@@ Property / DOI: 10.1016/j.tcs.2006.12.034 / rank @@
-Normal rank
@@ Property / cites work @@
+Q4024005
@@ Property / cites work: Q4024005 / rank @@
+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 @@
+Permission accounting in separation logic
@@ Property / cites work: Permission accounting in separation logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4813391
@@ Property / cites work: Q4813391 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5180820
@@ Property / cites work: Q5180820 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4066554
@@ Property / cites work: Q4066554 / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2004 - Concurrency Theory
@@ Property / cites work: CONCUR 2004 - Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4484505
@@ Property / cites work: Q4484505 / rank @@
+Normal rank
@@ Property / cites work @@
+The essence of parallel Algol.
@@ Property / cites work: The essence of parallel Algol. / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222882
@@ Property / cites work: Q4222882 / rank @@
+Normal rank
@@ Property / cites work @@
+Full abstraction for a shared-variable parallel language
+Normal rank
@@ Property / cites work @@
+Deadlock analysis in networks of communicating processes
+Normal rank
@@ Property / cites work @@
+The structure of the “THE”-multiprogramming system
+Normal rank
@@ Property / cites work @@
+A structured paging system
@@ Property / cites work: A structured paging system / rank @@
+Normal rank
@@ Property / cites work @@
+Parallel programming: An axiomatic approach
@@ Property / cites work: Parallel programming: An axiomatic approach / rank @@
+Normal rank
@@ Property / cites work @@
+Monitors
@@ Property / cites work: Monitors / rank @@
+Normal rank
@@ Property / cites work @@
+A hard act to follow
@@ Property / cites work: A hard act to follow / rank @@
+Normal rank
@@ Property / cites work @@
+Proofs of Networks of Processes
@@ Property / cites work: Proofs of Networks of Processes / 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 @@
+Separation and information hiding
@@ Property / cites work: Separation and information hiding / rank @@
+Normal rank
@@ Property / cites work @@
+Q4783297
@@ Property / cites work: Q4783297 / 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 @@
+Proving Liveness Properties of Concurrent Programs
+Normal rank
@@ Property / cites work @@
+An axiomatic proof technique for parallel programs
+Normal rank
@@ Property / cites work @@
+Verifying properties of parallel programs
@@ Property / cites work: Verifying properties of parallel programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q3906397
@@ Property / cites work: Q3906397 / rank @@
+Normal rank
@@ Property / cites work @@
+The temporal semantics of concurrent programs
@@ Property / cites work: The temporal semantics of concurrent programs / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.TCS.2006.12.034
@@ Property / DOI: 10.1016/J.TCS.2006.12.034 / rank @@
+Normal rank