Полное описание
> Reactive, generative and stratified models of probabilistic processes / R.J.van Glabbeek,S.A.Smolka,B.Steffen,C.M.N.Tofts. - Amsterdam : [s. n.], 1990. - 12 p. : ill. - (Report:Computer science / CWI ; CS-R9020). - Текст : непосредственный.
Библиогр.:c.12
Перевод заглавия: Реактивные, порождающие и стратифицированные модели вероятностных процессов
ГРНТИ | УДК | |
50.33.03 | 004.272.2 |
Рубрики:
Параллельные вычисления
Кл.слова (ненормированные): ПАРАЛЛЕЛЬНОЕ ВЫЧИСЛЕНИЕ
Доп. точки доступа:
Glabbeek, R.J.van
Smolka, S.A.
Steffen, B.
Tofts, C.M.N.
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): R/16212/CS-R9020)>
Шифр в сводном ЭК: ef811ecbd6970c2482c1505b94361ce0
Заказ фрагмента документа ₽