# Topics I plan to write about


## Wikipedia

 - [Trace theory](https://en.wikipedia.org/wiki/Trace_theory)
 - [Pi calculus](https://en.wikipedia.org/wiki/%CE%A0-calculus)
 - [History monoid](https://en.wikipedia.org/wiki/History_monoid)

## Concepts

 - Hazard pointer
 - ABA problem
 - Cache coherence (MSI MESI MOESI DragonFly)