Моделирование распределенных систем и анализ их семантических свойств

Оглавление
Введение
1 Структурированные системы переходов
1.1. Предварительные сведения
1.2. Системы помеченных переходов.
1.3. Примеры вполне структурированных систем переходов . .
2 Счетчиковые машины
2.1. Счетчиковые машины Минского
2.2. Счетчиковые машины с потерями
2.3. Счетчиковые машины с обнулениями
и ошибками проверки на нуль
2.4. Недетерминированные счетчиковые
машины
3 Темпоральные свойства систем переходов
3.1. Метод проверки модели.
3.2. Темпоральные свойства систем
переходов.
4 Модели программ
4.1 Модели и свойства класса структурированных программ в языках потоков данных.
4.2 О проблеме достижимости в графах потоков данных с очередями и стеками
5 Язык рекурсивнопараллельного программирования се
мантика и приложение к алгебраическим вычислениям
5.1 Модель семантики рекурсивнопараллельных программ
5.2 Язык рекурсивнопараллельного программирования и его
применение к алгебраическим вычислениям
6 Моделирование и анализ протоколов
6.1 Протокол ТСР с адаптацией скорости .
6.2 Модификация транспортного протокола ТСР с использованием метода динамических приоритетов
Заключение
Литература