A Theory of Bisimulation for the -calculus | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

1996

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

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

исчисление

Стр.:

P.69-97.

Выпуск:

1

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

Bibliogr.: p.96-97.

Издательство:

Источник:

Acta Informatica

Том:

33

Карточка:

Б2.42, Б2.15.

Sangiorgi D..

A Theory of Bisimulation for the -calculus: Springer// Acta Informatica-1996.-Vol. 33.-P.69-97.
Bibliogr.: p.96-97.

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

PAP14 416