Pages that link to "Item:Q5739365"
From MaRDI portal
The following pages link to Concurrent Separation Logic and Operational Semantics (Q5739365):
Displaying 10 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)
- Automated Verification of Parallel Nested DFS (Q5039512) (← links)
- Step-Indexed Kripke Model of Separation Logic for Storable Locks (Q5739354) (← links)
- Concurrent Separation Logic and Operational Semantics (Q5739365) (← links)
- Practical abstractions for automated verification of message passing concurrency (Q6536355) (← links)
