Predicates are Predicate Transformers: a unified compositional theory for concurrency | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

De Roever W. -P.

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

1

Колл. автор:

Вид:

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

Год:

1990

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

параллелизм

предикат

Стр.:

P.87-90

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

Bibliogr.: p.89-90

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

Источник:

Concurrency and Compositionality

Номер:

TR-5/90

Карточка:

Б2.42.

Zwiers J., De Roever W. -P..

Predicates are Predicate Transformers: a unified compositional theory for concurrency-Pisa.// Concurrency and Compositionality, 1990, №TR-5/90.-P.87-90
Bibliogr.: p.89-90

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

PAP30 365