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