An extensional fixed-point semantics for nondeterministic data flow

Вы здесь

Автор:

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

Вид:

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

Год:

1991

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

Стр.:

P.129-179.

Реферат:

Расширенная семантика с фиксированной запятой для недетерминированного потока данных.

Источник:

Номер:

Том:

Карточка:

Б2.24.

Kearney P., Staples J..

An extensional fixed-point semantics for nondeterministic data flow// Theoretical Computer Science-1991, №2.-Vol. 91.-P.129-179.

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

PAP2 887