Abstraction for Concurrent Objects
From MaRDI portal
Publication:3617704
DOI10.1007/978-3-642-00590-9_19zbMath1234.68065OpenAlexW2183354935MaRDI QIDQ3617704
Noam Rinetzky, Ivana Filipović, Hongseok Yang, Peter W. O'Hearn
Publication date: 31 March 2009
Published in: Programming Languages and Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-00590-9_19
Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Data structures (68P05)
Related Items (7)
TSO-to-TSO linearizability is undecidable ⋮ A perspective on specifying and verifying concurrent modules ⋮ Abstraction for concurrent objects ⋮ A general Gaussian interest rate model consistent with the current term structure ⋮ Steps in modular specifications for concurrent modules (invited tutorial paper) ⋮ Liveness-Preserving Atomicity Abstraction ⋮ Ode to the PST
This page was built for publication: Abstraction for Concurrent Objects
