Информация о статье

2013 г., Том 18, № 6, с.16-30

Вирбицкайте И.Б., Быстров А.В.

Об "истинно параллельной" и недетерминированной семантике временных элементарных сетевых систем

Предлагается метод построения "истинно параллельной" и недетерминированной семантики дискретно-временных элементарных сетевых систем (ДВЭСС). В частности, построены семантики в терминах временных расширений последовательностей шагов, сетей-процессов и структур событий, а также показано взаимно-однозначное соответствие между данными семантическими представлениями в контексте ДВЭСС.

[полный текст]
Ключевые слова: временные элементарные сетевые системы, семантика истинного параллелизма, недетерминированная семантика, временные последовательности шагов, временные сети-процессы, временные структуры событий

Библиографическая ссылка:
Вирбицкайте И.Б., Быстров А.В. Об "истинно параллельной" и недетерминированной семантике временных элементарных сетевых систем // Вычислительные технологии. 2013. Т. 18. № 6. С. 16-30
Главная| Цели| Редколлегия| Содержание| Поиск| Подписка| Правила| Контакты
ISSN 1560-7534
© 2024 ФИЦ ИВТ, Новосибирск