Вы здесь
On the Decidability of Process Equivalences for the pi-calculus
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
1995
Ключевые слова:
Стр.:
P.169-183
Библиография:
Bibliogr.: p.183
Место издания:
Издательство:
Том:
936
Карточка:
Б2.4.
Dam M..
On the Decidability of Process Equivalences for the pi-calculus-Berlin, Heidelberg.: Springer// Algebraic Methodology and Software Technology, 1995.-Vol. 936.-P.169-183-(Lecture Notes in Computer Science).
Bibliogr.: p.183
Таблица в старой библиотеке:
PAP12 761