Abstraction for Concurrent Objects
From MaRDI portal
Publication:3617704
DOI10.1007/978-3-642-00590-9_19zbMath1234.68065MaRDI 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
68N19: Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.)
68P05: Data structures
Related Items
Ode to the PST, Steps in modular specifications for concurrent modules (invited tutorial paper), Abstraction for concurrent objects, TSO-to-TSO linearizability is undecidable, A perspective on specifying and verifying concurrent modules, A general Gaussian interest rate model consistent with the current term structure, Liveness-Preserving Atomicity Abstraction