Step-Indexed Kripke Model of Separation Logic for Storable Locks (Q5739354): Difference between revisions

@@ Property / cites work @@
+Solving reflexive domain equations in a category of complete metric spaces
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Step-indexed kripke models over recursive worlds
@@ Property / cites work: Step-indexed kripke models over recursive worlds / rank @@
+Normal rank
@@ Property / cites work @@
+Realisability semantics of parametric polymorphism, general references and recursive types
+Normal rank
@@ Property / cites work @@
+Semantics of Separation-Logic Typing and Higher-order Frame Rules for Algol-like Languages
+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 @@
+CONCUR 2004 - Concurrency Theory
@@ Property / cites work: CONCUR 2004 - Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Concurrent Separation Logic and Operational Semantics
+Normal rank