Вы здесь

Behavioral and Spatial Observations in a Logic for the pi-Calculus

Автор: 
Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
2004
Стр.: 
P.72-89
Библиография: 
Bibliogr.: p.88-89
Издательство: 
Том: 
2987
Карточка: 

Б2.14, Б2.42.

Caires L..

Behavioral and Spatial Observations in a Logic for the pi-Calculus: Springer// Lecture Notes in Computer Science-2004.-Vol. 2987.-P.72-89
Bibliogr.: p.88-89

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