Pages that link to "Item:Q1664150"
From MaRDI portal
The following pages link to Modular verification of concurrency-aware linearizability (Q1664150):
Displaying 5 items.
- Relaxed data types as consistency conditions (Q2283840) (← links)
- Proving Linearizability Using Partial Orders (Q2988662) (← links)
- (Q5091106) (← links)
- Tasks in modular proofs of concurrent algorithms (Q6044466) (← links)
- Set-linearizable implementations from read/write operations: sets, fetch \& increment, stacks and queues with multiplicity (Q6099028) (← links)
