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

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