|
Информация о статье
2013 г., Том 18, № 6, с.16-30
Вирбицкайте И.Б., Быстров А.В.
Об "истинно параллельной" и недетерминированной семантике временных элементарных сетевых систем
Предлагается метод построения "истинно параллельной" и недетерминированной семантики дискретно-временных элементарных сетевых систем (ДВЭСС). В частности, построены семантики в терминах временных расширений последовательностей шагов, сетей-процессов и структур событий, а также показано взаимно-однозначное соответствие между данными семантическими представлениями в контексте ДВЭСС.
[полный текст]
Ключевые слова: временные элементарные сетевые системы, семантика истинного параллелизма, недетерминированная семантика, временные последовательности шагов, временные сети-процессы, временные структуры событий
Библиографическая ссылка:
Вирбицкайте И.Б., Быстров А.В. Об "истинно параллельной" и недетерминированной семантике временных элементарных сетевых систем // Вычислительные технологии. 2013. Т. 18. № 6. С. 16-30
|
|
|
|
