Type-based information flow analysis for the pi-calculus

Вы здесь

Автор:

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

Вид:

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

Год:

2005

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

Стр.:

P.291-347

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

Bibliogr.: p.345-347

Источник:

Номер:

4-5

Том:

Карточка:

Б2.2, Б2.3.

Kobayashi N..

Type-based information flow analysis for the pi-calculus// Acta Informatica-2005, №4-5.-Vol. 42.-P.291-347
Bibliogr.: p.345-347

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

PAP30 559