Pages that link to "Item:Q5137003"
From MaRDI portal
The following pages link to Causal memory: definitions, implementation, and programming (Q5137003):
Displayed 5 items.
- Virtual world consistency: a condition for STM systems (with a versatile protocol with invisible read operations) (Q442277) (← links)
- On the composability of consistency conditions (Q1007594) (← links)
- Linearizable read/write objects (Q1292436) (← links)
- Data-race and concurrent-write freedom are undecidable. (Q1399005) (← links)
- Relationships between memory models (Q2390217) (← links)