Сводный каталог книг

[Текст] : монография / И.В. Тарасюк ; Отв. ред. В.Н. Касьянов ; Рос. акад. наук, Сиб. отд-ние, Ин-т систем информатики им. А.П. Ершова. - Новосибирск : Гео, 2007. - 321 с. : ил. - Предм. указ.: с. 316-321. - Библиогр.: с. 287-315. - ISBN 978-5-9747-0098-9 : 10.00 р., 10.00 р.

ГРНТИ	27.47
УДК	519.7^V3	519681.3

ББК В18 + З973.22 + В192.1

Аннотация: В монографии разработан и исследован широкий спектр поведенческих эквивалентностей на таких известных формальных моделях для спецификации и анализа параллельных систем, как сети Петри и алгебры процессов. Отношения эквивалентности изучены также на подклассах и расширениях этих моделей: временных и стохастических сетях Петри, алгебрах стохастических процессов. Для студентов, аспирантов и исследователей, интересующихся теоретической информатикой, в частности, формальным моделированием и анализом свойств поведения параллельных систем и процессов.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
Центральная научная библиотека КНЦ СО РАН : 660036, г. Красноярск, Академгородок, 50

Доп.точки доступа:
Касьянов, В.Н. \ред.\
Экземпляры всего: 2
ИВМ-Фонд (1), ЦНБ-АБ (1)
Свободны: ИВМ-Фонд (1), ЦНБ-АБ (1)