Pages that link to "Item:Q5739365"
From MaRDI portal
The following pages link to Concurrent Separation Logic and Operational Semantics (Q5739365):
Displaying 21 items.
- Ghost signals: verifying termination of busy waiting (Q832247) (← links)
- Verifying a concurrent garbage collector using a rely-guarantee methodology (Q1687774) (← links)
- A game semantics of concurrent separation logic (Q2130597) (← links)
- Verifying a concurrent garbage collector with a rely-guarantee methodology (Q2319995) (← links)
- On the relation between concurrent separation logic and concurrent Kleene algebra (Q2347904) (← links)
- Revisiting concurrent separation logic (Q2397039) (← links)
- Barriers in Concurrent Separation Logic (Q3000585) (← links)
- Parameterized Memory Models and Concurrent Separation Logic (Q3558227) (← links)
- (Q4222938) (← links)
- (Q4738189) (← links)
- Automated Verification of Parallel Nested DFS (Q5039512) (← links)
- Bringing Order to the Separation Logic Jungle (Q5055998) (← links)
- An Asynchronous Soundness Theorem for Concurrent Separation Logic (Q5145346) (← links)
- Convolution as a Unifying Concept (Q5277916) (← links)
- CONCUR 2004 - Concurrency Theory (Q5311481) (← links)
- Separation Logic Semantics for Communicating Processes (Q5415605) (← links)
- Multimodal Separation Logic for Reasoning About Operational Semantics (Q5415628) (← links)
- Step-Indexed Kripke Model of Separation Logic for Storable Locks (Q5739354) (← links)
- Precision and the Conjunction Rule in Concurrent Separation Logic (Q5739357) (← links)
- Concurrent Separation Logic and Operational Semantics (Q5739365) (← links)
- Practical abstractions for automated verification of message passing concurrency (Q6536355) (← links)
