Strict Linearizability and Abstract Atomicity

DOI10.1142/S0129054121500015zbMath1458.68135MaRDI QIDQ5859670

Tangliu Wen, Zhen You, Jie Peng, Jin-Yun Xue, Lan Song

Publication date: 19 April 2021

Published in: International Journal of Foundations of Computer Science (Search for Journal in Brave)

zbMATH Keywords

linearizabilityobservational equivalencedata abstractionatomicityconcurrent objects

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Nearly \(k\)-universal words -- investigating a part of Simon's congruence

Uses Software

• Atomizer

Cites Work

• Unnamed Item
• Unnamed Item
• Abstraction for concurrent objects
• How to write a 21\(^{\text{st}}\) century proof
• A semantics for concurrent separation logic
• On reducing linearizability to state reachability
• Using refinement calculus techniques to prove linearizability
• Proof of correctness of data representations
• Aspect-Oriented Linearizability Proofs
• Quantitative relaxation of concurrent data structures
• Atomizer
• Monitoring Atomicity in Concurrent Programs
• The serializability of concurrent database updates
• How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs
• Reduction
• Parameterised Linearisability

This page was built for publication: Strict Linearizability and Abstract Atomicity