Вы здесь
A Polymorphic Type System for the Polyadic Pi-calculus
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
1995
Стр.:
P.103-116
Библиография:
Bibliogr.: p.115-116
Место издания:
Источник:
Том:
962
Карточка:
Б2.1, Б2.4.
Liu X., Walker D..
A Polymorphic Type System for the Polyadic Pi-calculus-Berlin, Heidelberg.// CONCUR 95: Concurrency Theory, 1995.-Vol. 962.-P.103-116-(Lecture Notes in Computer Science).
Bibliogr.: p.115-116
Таблица в старой библиотеке:
PAP13 159