Open maps and weak trace equivalence for timed event structures | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

2006

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

параллелизм

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

теория категорий

структура

разрешимость

Стр.:

P.73-87

Выпуск:

24

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

Bibliogr.: p.85-87

Серия:

Computer Science

Источник:

Bulletin of the Novosibirsk Computing Center

Карточка:

Б2.2, Б2.42.

Gribovskaya N..

Open maps and weak trace equivalence for timed event structures// Bulletin of the Novosibirsk Computing Center-2006.-P.73-87-(Computer Science, Вып.24).
Bibliogr.: p.85-87

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

PAP30 967