Automated Analysis of Mutual Exclusion Algorithms using CCS | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Колл. автор:

Вид:

Препринт

Год:

1989

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

алгоритм

параллелизм

Стр.:

23 p.

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

Bibliogr.: p.22-23

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

Номер:

ECS-LFCS-89-91

Карточка:

Б2.42, Б2.12.

Walker D. J..

Automated Analysis of Mutual Exclusion Algorithms using CCS-Edinburgh., 1989.-23 p.-(Препринт Univ.Edinburgh №ECS-LFCS-89-91).
Bibliogr.: p.22-23

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

PREP3 59