Теоретико-категорная характеризация различных эквивалентностей на временных автоматных моделях =
The category theoretical characterization of different equivalences for timed automata models
The category theoretical characterization of different equivalences for timed automata models
Новосибирск : Ин-т систем информатики им. А. П. Ершова СО РАН, 2004
Теоретико-категорная характеризация различных эквивалентностей на временных автоматных моделях =
The category theoretical characterization of different equivalences for timed automata models
Новосибирск : Ин-т систем информатики им. А. П. Ершова СО РАН, 2004
В работе вводятся и исследуются временные расширения тестовой эквивалентности и слабой бисимуляции Милнера и Сангиорги для модели временных систем переходов.
Библиографическое описание
Скопировать
Грибовская, Н. С.. Теоретико-категорная характеризация различных эквивалентностей на временных автоматных моделях = = The category theoretical characterization of different equivalences for timed automata models The category theoretical characterization of different equivalences for timed automata models / Н. С. Грибовская. — Новосибирск : Ин-т систем информатики им. А. П. Ершова СО РАН, 2004. — 38 с. : ил. : 21 см — (Препринт / Рос. акад. наук, Сиб. отд-ние, Ин-т систем информатики им. А. П. Ершова).
Детальная информация
Код документа в НЭБ
000199_000009_002705236
Каталог
Автор
Заглавие
Теоретико-категорная характеризация различных эквивалентностей на временных автоматных моделях = : The category theoretical characterization of different equivalences for timed automata models
Вариант заглавия
The category theoretical characterization of different equivalences for timed automata models
Место издания
Новосибирск
Издательство
Год издания
2004
Объем
38 с.
Ответственность
Н. С. Грибовская
ББК
З815с115,0, В152.53,09
Язык
Русский
Еще
Библиотека
LDR
01989cam a22002657i 4500
001
002705236
005
20051011133853.0
008
050516s2004 ru r 000 u rus
017
##
$a: 05-27802
$a: 05-27802
040
##
$a: RuMoRKP
$b: rus
$d: RuMoRGB
$a: RuMoRKP
$b: rus
$d: RuMoRGB
041
##
$a: rus
$a: rus
084
##
$a: З815с115,0
$a: З815с115,0
084
##
$a: В152.53,09
$a: В152.53,09
100
1#
$a: Грибовская, Н. С.
$a: Грибовская, Н. С.
245
##
$a: Теоретико-категорная характеризация различных эквивалентностей на временных автоматных моделях =
$b: The category theoretical characterization of different equivalences for timed automata models
$c: Н. С. Грибовская
$a: Теоретико-категорная характеризация различных эквивалентностей на временных автоматных моделях =
$b: The category theoretical characterization of different equivalences for timed automata models
$c: Н. С. Грибовская
246
11
$a: The category theoretical characterization of different equivalences for timed automata models
$a: The category theoretical characterization of different equivalences for timed automata models
260
##
$a: Новосибирск
$b: Ин-т систем информатики им. А. П. Ершова СО РАН
$c: 2004
$a: Новосибирск
$b: Ин-т систем информатики им. А. П. Ершова СО РАН
$c: 2004
300
##
$a: 38 с.
$b: ил.
$c: 21 см
$a: 38 с.
$b: ил.
$c: 21 см
490
##
$a: Препринт / Рос. акад. наук, Сиб. отд-ние, Ин-т систем информатики им. А. П. Ершова
$v: 119
$a: Препринт / Рос. акад. наук, Сиб. отд-ние, Ин-т систем информатики им. А. П. Ершова
$v: 119
504
##
$a: Библиогр.: с. 37-38
$a: Библиогр.: с. 37-38
520
##
$a: В работе вводятся и исследуются временные расширения тестовой эквивалентности и слабой бисимуляции Милнера и Сангиорги для модели временных систем переходов.
$a: В работе вводятся и исследуются временные расширения тестовой эквивалентности и слабой бисимуляции Милнера и Сангиорги для модели временных систем переходов.
546
##
$a: Парал. тит. л. англ.
$a: Парал. тит. л. англ.
650
#1
$a: Радиоэлектроника -- Кибернетика -- Теория автоматов и управляющих машин -- Численные и графические методы исследований
$a: Радиоэлектроника -- Кибернетика -- Теория автоматов и управляющих машин -- Численные и графические методы исследований
650
#1
$a: Физико-математические науки -- Математика -- Алгебра -- Высшая алгебра -- Кольца и алгебры -- Категории
$a: Физико-математические науки -- Математика -- Алгебра -- Высшая алгебра -- Кольца и алгебры -- Категории
852
##
$a: РГБ
$b: FB
$j: 3 05-7/2055
$x: 90
$a: РГБ
$b: FB
$j: 3 05-7/2055
$x: 90