ALLY, я с уважением, но задам те же вопросы. Контекст?
Чистая теория -- возможно Д.Кнут, но там алгоритмы.
Реализация языка -- да must have к прочтению, но мы имеем привязку к железу (виртуальному или физическому).
Асинхронность и многопоточность в привязке к контексту исполнения на ЦПУ...
Берем конвейер и FPGA: Verilog (VHDL)
Или прям потоки-потоки и SMP системы. (OpenMP и иже с ним)
Прям совсем много потоков, которые сами по себе -- большой пласт математики тензорных вычислений, cuda ядер и тд. (агенты, кластеры, кластерная нагрузка, сеть Клоза (1953 и далее в 2023).
Вплоть до чистой математики нейросетей.
Вплоть до физики вычислительных систем.
О! Системы массового обслуживания. Очереди в кассы, производственные линии (АСУ, АСУ ТП) и далее везде. Теория автоматов, сети Петри, конвейеры, системы класса ERP, цифровые подстанции, событийно-ориентированные системы и тд.
Итого: Опасно хвататься за все сразу
![Smile2](images/smilies/new/smile2.gif)