Взаимодействующие последовательные процессы

Хоар Ч.5-03-001043-2

Книга известного системного программиста и теоретика информатики (Великобритания),
последовательно излагающая теорию взаимодействующих процессов;
эта тематика тесно связана с такими реальными понятиями, как операционные системы,
мультипроцес?сорные комплексы и сети ЭВМ. Автор рассматривает параллелизм
в языках высокого уровня АДА, Симула 67, Паскаль.
Для специалистов в области системного программирования, теоретической информатики,
математической логики, аспирантов и студентов вузов.