S-invariant analysis of general recursive Petri boxes | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

1995

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

сети петри

семантика

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

язык программирования

Стр.:

P.313-345

Источник:

Acta Informatica

Номер:

4

Том:

32

Карточка:

Б2.42, Б2.24.

Devillers R..

S-invariant analysis of general recursive Petri boxes// Acta Informatica-1995, №4.-Vol. 32.-P.313-345

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

PAP12 591