CAT - Concurrency: Algorithms and Theories | Notion

2. Memory Models

3. Basic Operational Semantics for Concurrency

4. Declarative Semantics for Concurrency

5. The C/C++11 memory model

6. Weak Memory Concurrency in C/C++11 and LLVM

7. Concurrent Objects

8. Linked Lists

9. Concurrent Queues and Stacks

10. The Relative Power of Synchronization Operations