 |
- ⒶⒸХоар Ч.Э. Р. Взаимодействующие последовательные процессы. (Communicating Sequential Processes, 1985) [Djv-Fax- 1.8M] [Pdf-Fax- 2.9M] Научное издание. Автор: Чарльз Энтони Ричард Хоар (Charles Antony Richard Hoare). Перевод с английского А.А. Бульонковой под редакцией А.П. Ершова.
(Москва: Издательство «Мир»: Редакция литературы по математическим наукам, 1989)
Скан, обработка, формат Djv-Fax: ???, предоставил: Михаил, 2013; доработка, формат Pdf-Fax: звездочет, 2023
- КРАТКОЕ ОГЛАВЛЕНИЕ:
От редактора перевода (5).
Предисловие (7).
От автора (9).
Краткое содержание (14).
Глава 1. Процессы (18).
Глава 2. Параллельные процессы (60).
Глава 3. Недетерминизм (95).
Глава 4. Взаимодействие (129).
Глава 5. Последовательные процессы (168).
Глава 6. Разделяемые ресурсы (195).
Глава 7. Обсуждение (225).
Избранная литература (254).
Указатель символов (255).
Предметный указатель (259).
ИЗ ИЗДАНИЯ: Книга известного системного программиста и теоретика информатики (Великобритания), последовательно излагающая теорию взаимодействующих процессов; эта тематика тесно связана с такими реальными понятиями, как операционные системы, мультипроцессорные комплексы и сети ЭВМ, Автор рассматривает параллелизм в языках высокого уровня АДА, Симула 67, Паскаль.
Для специалистов в области системного программирования, теоретической информатики, математической логики, аспирантов и студентов вузов. |
 |
