Aspect-Oriented Linearizability Proofs
From MaRDI portal
Publication:2842111
DOI10.1007/978-3-642-40184-8_18zbMath1390.68213arXiv1502.07639OpenAlexW1818449680MaRDI QIDQ2842111
Viktor Vafeiadis, Ali Sezgin, Thomas A. Henzinger
Publication date: 12 August 2013
Published in: CONCUR 2013 – Concurrency Theory (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1502.07639
Parallel algorithms in computer science (68W10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Data structures (68P05)
Related Items (7)
On reducing linearizability to state reachability ⋮ A Sound and Complete Proof Technique for Linearizability of Concurrent Data Structures ⋮ Decomposable Relaxation for Concurrent Data Structures ⋮ Proving Linearizability Using Partial Orders ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Strict Linearizability and Abstract Atomicity
This page was built for publication: Aspect-Oriented Linearizability Proofs
