Synthesis of Protocol Specifications from Service Specifications of Distributed Systems in a Marked Graph Model | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

1994

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

сети петри

протокол

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

Стр.:

P.1623-1633.

Библиография:

Bibliogr.: p.1632.

Источник:

Номер:

10

Том:

E77-A

Карточка:

Б2.42, Б2.22.

Yamaguchi H., Okano K., Higashino T., Taniguchi K..

Synthesis of Protocol Specifications from Service Specifications of Distributed Systems in a Marked Graph Model// IEICE Trans.-1994, №10.-Vol. E77-A.-P.1623-1633.
Bibliogr.: p.1632.

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

PAP10 997