### algorithm
#### synchronized
- конкурентность. [Три способа менять один объект из нескольких потоков. Больше нет](https://habr.com/ru/articles/974198/)
Что происходит, когда два потока одновременно хотят изменить один объект?  
Не «как устроен mutex». Не «чем CAS лучше lock». А именно: что случится при конфликте?  
Ответов ровно три:
  - Один победит, другой переделает работу (First Win + Retry)
  - Один подождёт, пока другой закончит (Single Writer)
  - Последний затрёт первого (Last Win)  
CSP Хоара (как и указанные в статье Go channels) относится к Стратегии 2.2 (Очередь/Single Writer).
- [Введение в теорию взаимодействующих последовательных процессов (Communicating Sequential Processes — CSP)](https://habr.com/ru/articles/138700/)

### теорВер
- [Иллюзия 95%: гайд по самой частой элементарной ошибке в Data Science](https://habr.com/ru/articles/974186/)

### задача о философах
- [Два притопа, три прихлопа](https://habr.com/ru/articles/975032/)

### 2
- [Разворачиваем систему уравнений в граф](https://habr.com/ru/articles/788630/)
- [newYAWL: Designing a WorkFow System using Coloured Petri Nets](https://www.vdaalst.com/publications/p463.pdf)