Вы здесь
Causality and True Concurrency: A Data-flow Analysis of the Pi-Calculus
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
1995
Ключевые слова:
Стр.:
P.277-291
Библиография:
Bibliogr.: p.290-291
Место издания:
Издательство:
Том:
936
Карточка:
Б2.15, Б2.42.
Jagadeesan L. J., Jagadeesan R..
Causality and True Concurrency: A Data-flow Analysis of the Pi-Calculus-Berlin, Heidelberg.: Springer// Algebraic Methodology and Software Technology, 1995.-Vol. 936.-P.277-291-(Lecture Notes in Computer Science).
Bibliogr.: p.290-291
Таблица в старой библиотеке:
PAP12 768