Conjunctive Predicate Transformers for Reasoning about Concurrent Computation | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Колл. автор:

Вид:

Препринт

Год:

1993

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

параллельный

программа

преобразование

Стр.:

18 p.

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

Bibliogr.: p.14-15.

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

Номер:

197

Карточка:

Б2.42.

Chandy K. M., Sanders B. A..

Conjunctive Predicate Transformers for Reasoning about Concurrent Computation-Zurich., 1993.-18 p.-(Препринт ETH №197).
Bibliogr.: p.14-15.

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

PREP1 880