Elimination trees and the construction of pools and stacks
From MaRDI portal
Publication:1384697
Recommendations
Cited in
(11)- Tasks in modular proofs of concurrent algorithms
- Threshold counters with increments and decrements
- On constructing the elimination tree
- Towards a practical snapshot algorithm
- A Note on the Column Elimination Tree
- A scalable lock-free stack algorithm
- Proving a non-blocking algorithm for process renaming with TLA\textsuperscript{+}
- Read-modify-write networks
- Tasks in modular proofs of concurrent algorithms
- scientific article; zbMATH DE number 1844471 (Why is no real title available?)
- Fast and scalable rendezvousing
This page was built for publication: Elimination trees and the construction of pools and stacks
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1384697)