1. Объединенный институт проблем информатики Минск, Сурганова, 6

УДК: 519.71

Реферат:

Анализируются ключевые формализмы теории распределенных систем: обобщенные автома-ты, сети Петри, временная логика и язык ПРАЛУ. В результате анализа известных способов описа-ния поведения вычислительных систем, построенных как набор взаимодействующих компонентов, показана перспективность языка ПРАЛУ в проектировании протоколов. Рассматриваются морфиз-мы интерпретации языков. Морфизм интерпретации часто используется, чтобы задать семантику языков описания процессов. По критерию богатства возможных интерпретаций язык ПРАЛУ мож-но считать более предпочтительным по сравнению с остальными.