Pages that link to "Item:Q5370857"

The following pages link to A relational model of types-and-effects in higher-order concurrent separation logic (Q5370857):

Displaying 5 items.

• Reasoning about block-based cloud storage systems via separation logic (Q2087457) (← links)
• The Essence of Higher-Order Concurrent Separation Logic (Q2988664) (← links)
• A Higher-Order Logic for Concurrent Termination-Preserving Refinement (Q2988673) (← links)
• Iris from the ground up: A modular foundation for higher-order concurrent separation logic (Q4625160) (← links)
• (Q5155670) (← links)