Pages that link to "Item:Q613139"

The following pages link to Inter-process buffers in separation logic with rely-guarantee (Q613139):

Displaying 3 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)