Sequence-Based Global Predicates for Distributed Computations: Definitions and Detection Algorithms | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Колл. автор:

Вид:

Препринт

Год:

1993

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

распределенный

вычисление

предикат

верификация

Стр.:

15 p.

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

Номер:

RR N 1961

Карточка:

Б2.42, Б2.43, Б3.54.

Babaoglu O., Raynal M..

Sequence-Based Global Predicates for Distributed Computations: Definitions and Detection Algorithms-Rocquencourt., 1993.-15 p.-(Препринт INRIA №RR N 1961).

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

PREP1 912