Pages that link to "Item:Q4608657"
From MaRDI portal
The following pages link to Local linearizability for concurrent container-type data structures (Q4608657):
Displaying 6 items.
- Improved time bounds for linearizable implementations of abstract data types (Q1627963) (← links)
- Relaxed data types as consistency conditions (Q2283840) (← links)
- Verifying Visibility-Based Weak Consistency (Q5041095) (← links)
- (Q5091106) (← links)
- Set-linearizable implementations from read/write operations: sets, fetch \& increment, stacks and queues with multiplicity (Q6099028) (← links)
- Monotonically relaxing concurrent data-structure semantics for increasing performance: an efficient 2D design framework (Q6487548) (← links)