Миронов А.М. Теория процессов

Переславль-Залесский: Университет города Переславля, 2008. — 345 с.Теория процессов является одним из разделов математической теории программирования, который изучает математические модели поведения динамических систем, называемые процессами. Говоря неформально, процесс представляет собой модель такого поведения, которое заключается в исполнении действий.Понятие процесса.
Операции на процессах.
Эквивалентность процессов.
Рекурсивные определения процессов.
Примеры доказательства свойств процессов.
Процессы с передачей сообщений.
Примеры процессов с передачей сообщений.
Представление структур данных в виде процессов.
Семантика языка параллельного программирования.
Исторический обзор и современное состояние дел.