Системная информатика. Проблемы теории и методологии создания параллельных и распределенных систем. Вып. 7

Титульный лист......Page 2 Предисловие (И. В. Поттосин )......Page 3 Чайя Л. Элементарные причинно-следственные структуры (Перевод А. Н. Устименко)......Page 5 Замулин А. В. Императивная спецификация динамических систем......Page 80 Евстигнеев В. Анализ зависемостей: состояние проблемы......Page 110 Непомнящий В.А., Шилов Н.В., Бодин Е.В. REAL: язык для спецификации и верификации систем реального времени......Page 172 Важенин А.П. Параллельные вычисления с динамической длиной операндов: проблемы и перспективы......Page 223 Ушаков Д. М., Телерман В. В. Системы программирования в ограничениях (обзор)......Page 273