Pages that link to "Item:Q3612005"
From MaRDI portal
The following pages link to Modular Safety Checking for Fine-Grained Concurrency (Q3612005):
Displayed 4 items.
- Proving linearizability with temporal logic (Q539223) (← links)
- Elucidating concurrent algorithms via layers of abstraction and reification (Q539423) (← links)
- Inter-process buffers in separation logic with rely-guarantee (Q613139) (← links)
- Splitting Atoms with Rely/Guarantee Conditions Coupled with Data Reification (Q3535380) (← links)