Операторные модели взаимодействующих процессов.

Операторные модели взаимодействующих процессов.

Авторы

Захаров В.А., Незнанов И.В.

Аннотация

Предложены две новые модели, описывающие функционирование систем параллельных взаимодействующих процессов. Каждый из процессов является операторной программой, взаимодействующей с другими процессам посредством асинхронного обмена данными по каналам связи. Рассмотрен случай единичной емкости каналов. Одна из моделей описывает функционирование таких систем на пропозициональном уровне абстракции. Другая модель имеет дело со структурированными программами, состоящими из операторов присваивания, проверки логических условий и передачи управления, описанными в терминах логики первого порядка.

Для каждой модели определено понятие вычисления системы процессов и введено отношение эквивалентности. Показано, что завершающиеся вычисления систем взаимодействующих процессов обладают свойством конфлюентности, а эквивалентности в пропозициональной и первопорядковой модели согласованы.

Ключевые слова

программа, модель программы, взаимодействующий процесс эквивалентность

Издание

Математические вопросы кибернетики, М: Физматлит, выпуск 9, 2000, с. 127-160.

Научная группа

Теоретическая информатика

Все публикации за 2000 год

Все публикации