Pages that link to "Item:Q1764429"
From MaRDI portal
The following pages link to Ramifications of metastability in bit variables explored via Simpson's 4-slot mechanism (Q1764429):
Displayed 5 items.
- Explanation of two non-blocking shared-variable communication algorithms (Q469352) (← 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 safely (Q879357) (← links)
- Splitting Atoms with Rely/Guarantee Conditions Coupled with Data Reification (Q3535380) (← links)