Abstraction for Concurrent Objects

DOI10.1007/978-3-642-00590-9_19MaRDI QIDQ3617704zbMATH OpenOpenAlexFDO

Authors Ivana Filipović, Noam Rinetzky, 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

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Data structures (68P05)

Recommendations

• Abstraction for concurrent objects
• Strict linearizability and abstract atomicity
• On abstraction and compositionality for weak-memory linearisability
• Comparison Under Abstraction for Verifying Linearizability
• Model-checking of correctness conditions for concurrent objects

Cited in

(19)

• Hybrid concurrency control for abstract data types
• 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
• Relaxed data types as consistency conditions
• Abstraction over implementation structure with symmetrically encapsulated multimethods
• An epistemic perspective on consistency of concurrent computations
• Characterizing progress properties of concurrent objects via contextual refinements
• Liveness-Preserving Atomicity Abstraction
• On abstraction and compositionality for weak-memory linearisability
• scientific article; zbMATH DE number 1546500 (Why is no real title available?)
• Concurrent specifications beyond linearizability
• Between linearizability and quiescent consistency. Quantitative quiescent consistency
• Relative Store Fragments for Singleton Abstraction
• Ode to the PST
• Nonblocking Concurrent Data Structures with Condition Synchronization
• Strict linearizability and abstract atomicity
• Steps in modular specifications for concurrent modules (invited tutorial paper)
• Abstraction for concurrent objects

This page was built for publication: Abstraction for Concurrent Objects

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3617704)