Action refinement and equivalence notions for timed event structures | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Количество экземпляров:

1

Вид:

Статья из сборника или журнала

Год:

2006

Ключевые слова:

теория программирования

эквивалентность

структура

параллельный

система реального времени

Стр.:

P.1-25

Выпуск:

24

Библиография:

Bibliogr.: p.23-25

Серия:

Computer Science

Источник:

Bulletin of the Novosibirsk Computing Center

Карточка:

Б2.2, Б2.1.

Andreeva M. V..

Action refinement and equivalence notions for timed event structures// Bulletin of the Novosibirsk Computing Center-2006.-P.1-25-(Computer Science, Вып.24).
Bibliogr.: p.23-25

Таблица в старой библиотеке:

PAP30 963