Классические книги по Computer Science

[npak]

Неожиданно обнаружил в сети электронное издание классической книги Хора "Communicatin Sequential Processes" по адресу http://www.usingcsp.com/cspbook.pdf

Рекомендую всем желающим повысить свой образовательный уровень в области математических основ программирования.

[Olegator]

И что хорошего в этой книге?

[npak]

В этой книге предложена одна из первых математических моделей параллельных взаимодействующих процессов.  Предложенный Хором подход так или иначе используется во многих исследованиях параллельных алгоритмов, доказательствах свойств программ и протоколов.

Разумеется, программисту-практику, который дальше своих задач не смотрит, читать эту книгу не нужно.

[МАКСИМ.]

 ".....из первых математических моделей параллельных взаимодействующих процессов."
а в двух -трёх словах что это такое???