Статья в сборнике "Математические вопросы кибернетики" №9, Москва, 2000
Авторы:Захаров В.А., Незнанов И.В.
Операторные модели взаимодействующих процессов
Аннотация:
Цель работы – ввести понятие схемы программ для систем взаимодействующих процессов на основе известных методов теории схем программ. Используется модель параллелизма, в которой процессы взаимодействуют по асинхронным односторонним каналам связи емкости 1. Предложены две модели схем взаимодействующих процессов. Первый из них основан на стандартной модели первого порядка для последовательных программ. Второй подход развит из пропозициональной модели схем Янова. В каждом из этих подходов можно сравнивать схемы на эквивалентность. Показано, что эквивалентность схем взаимодействующих процессов во второй из указанных моделей влечет их эквивалентность в первой модели.
Ключевые слова:
схема программ, система взаимодействующих процессов, вычисление, эквивалентность
