Subtyping for session types in the pi calculus | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

2005

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

пи-исчисление

коммуникация

протокол

Стр.:

P.191-225

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

Bibliogr.: p.223-225

Источник:

Acta Informatica

Номер:

2-3

Том:

42

Карточка:

Б3.4, Б2.4.

Gay S., Hole M..

Subtyping for session types in the pi calculus// Acta Informatica-2005, №2-3.-Vol. 42.-P.191-225
Bibliogr.: p.223-225

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

PAP30 518