- [ ] Linearizability vs serializability - [ ] Reactive vs interactive, streams - [ ] Push vs pull - [ ] Wait-free vs lock-free - [ ] Amdahl's law, contention - [ ] Task, data, pipeline parallelism - [ ] Effect systems