Concurrency Models
Five concurrency models — single-threaded async, shared-memory threads with locks, CSP, Actor Model, and Software Transactional Memory — compared on how they share state, how they compose, and what kinds of failure they produce. Notes on when each fits and why language choice often dictates the model more than the problem does.