Итак, исследование алгоритмической разрешимости задачи анализа потоковых моделей требует обобщения семантической природы меток дуг и ... - Большая Энциклопедия Нефти и Газа
Выдержка из книги
Топорков В.В.
Модели распределенных вычислений
Итак, исследование алгоритмической разрешимости задачи анализа потоковых моделей требует обобщения семантической природы меток дуг и вершин потокового графа G программы ( см. § 2.3), а также формализации самой схемы анализа. Цель анализа таких моделей - установление существования наименьшей верхней грани свойств дуг и вершин потокового графа G, которая полно, но не избыточно представляет структурный аспект поведения программ.