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