A Petry Net Entity as a Formal Model for Lotos, a Specification Language for Distributed and Concurrent Systems | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

1991

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

язык спецификаций

сети петри

распределенный

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

Стр.:

P. 440-449

Реферат:

Сети Петри как формальная модель для LOTOS, языка спецификации распределенных и паралельных систем

Источник:

Parallel Computing Technologies: Proc. Intern. Conf.

Карточка:

Б2.42, Б3.44.

Anisimov A..

A Petry Net Entity as a Formal Model for Lotos, a Specification Language for Distributed and Concurrent Systems// Parallel Computing Technologies: Proc. Intern. Conf.-1991.-P. 440-449

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

PAP2 336