Теоретико-категорное исследование семантики областей Скотта параллельных моделей с реальным временем

Содержание
Введение.
1 Известные результаты
1.1 Элементы теории категорий
1.2 Области Скотта.
1.3 Структуры событий .
1.4 Системы переходов с независимостью .
1.5 Сетипроцессы и сети Петри
2 Семантика помеченных областей временных структур событий
2.1 Категория помеченных областей Скотта
2.2 Категории временных структур событий .
2.3 Взаимосвязи категорий временных структур событий и помеченных областей .
2.4 Выводы
3 Семантика помеченных областей временных систем переходов с независимостью.
3.1 Категории временных систем переходов с независимостью
3.2 Развертка временных систем переходов с независимостью
3.3 Взаимосвязи категорий временных систем переходов с независимостью и помеченпых областей
3.4 Выводы
4 Семантика помеченных областей временных сетевых моделей
4.1 Категории временных сетейпроцессов
4.2 Свойства категорий временных сетейпроцессов .
4.3 Взаимосвязи категорий временных сетейпроцессов и помеченных областей .
4.4 Категория временных сетей Петри.
4.5 Взаимосвязи категорий временных сетей Петри и помеченных областей .
4.6 Вывода.
Заключение.
Список использованных источников