Pages that link to "Item:Q1208423"
From MaRDI portal
The following pages link to Beyond atomic registers: Bounded wait-free implementations of nontrivial objects (Q1208423):
Displaying 7 items.
- A criterion for atomicity (Q1192605) (← links)
- Can an operation both update the state and return a meaningful value in the asynchronous PRAM model? (Q1603468) (← links)
- A concurrency semantics for relaxed atomics that permits optimisation and avoids thin-air executions (Q2828301) (← links)
- Tight failure detection bounds on atomic object implementations (Q3578204) (← links)
- Wait-free linearization with a mechanical proof (Q5137000) (← links)
- Brief Announcement (Q5368946) (← links)
- (Q6083367) (← links)