Concurrent programming [electronic resource] : algorithms, principles, and foundations / Michel Raynal.

Lock-Based Synchronization
The Mutual Exclusion Problem
Solving Mutual Exclusion
Lock-Based Concurrent Objects
On the Foundations Side: the Atomicity Concept
Atomicity: Formal Definition and Properties
Mutex-Free Synchronization
Mutex-Free Concurrent Objects
Hybrid Concurrent Objects
Wait-Free Objects from Read/Write Registers Only
Snapshot Objects from Read/Write Registers Only
Renaming Objects from Read/Write Registers Only
The Transactional Memory Approach
Transactional Memory
On the Foundations Side: from Safe Bits to Atomic Registers
Safe, Regular, and Atomic Read/Write Registers
From Safe Bits to Atomic Bits: Lower Bound and Optimal Construction
Bounded Constructions of Atomic b-Valued Registers
On the Foundations Side: the Computability Power of Concurrent Objects (Consensus)
Universality of Consensus
The Case of Unreliable Base Objects
Consensus Numbers and the Consensus Hierarchy
The Alpha(s) and Omega of Consensus: Failure Detector-Based Consensus.