Pages that link to "Item:Q613139"
From MaRDI portal
The following pages link to Inter-process buffers in separation logic with rely-guarantee (Q613139):
Displaying 6 items.
- Explanation of two non-blocking shared-variable communication algorithms (Q469352) (← links)
- Elucidating concurrent algorithms via layers of abstraction and reification (Q539423) (← links)
- Balancing expressiveness in formal approaches to concurrency (Q890478) (← links)
- Possible values: exploring a concept for concurrency (Q2374311) (← links)
- Investigating the limits of rely/guarantee relations based on a concurrent garbage collector example (Q2418046) (← links)
- Splitting Atoms with Rely/Guarantee Conditions Coupled with Data Reification (Q3535380) (← links)
