Головная страница ИПМ Библиотеки, издания  •  Поиск публикаций  English 
Публикация

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