A Scalable, Correct Time-Stamped Stack
From MaRDI portal
Publication:2819810
DOI10.1145/2676726.2676963zbMath1345.68116OpenAlexW2012171200MaRDI QIDQ2819810
Christoph Kirsch, Andreas Haas, Mike Dodds
Publication date: 29 September 2016
Published in: Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/2676726.2676963
Related Items (4)
On reducing linearizability to state reachability ⋮ A mechanized refinement proof of the Chase-Lev deque using a proof system ⋮ Proving Linearizability Using Partial Orders ⋮ Unnamed Item
Uses Software
This page was built for publication: A Scalable, Correct Time-Stamped Stack
