A lambda-calculus for concurrency (abstract/introduction)

Вы здесь

Автор:

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

Колл. автор:

Вид:

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

Год:

1990

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

Стр.:

P.15-18

Место издания:

Источник:

Номер:

TR-5/90

Карточка:

Б2.14, Б2.42.

Boudol G..

A lambda-calculus for concurrency (abstract/introduction)-Pisa.// Concurrency and Compositionality, 1990, №TR-5/90.-P.15-18

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

PAP30 359