Вы здесь

Formal Justification of the Rely-Guarantee Paradigm for Shared-Variable Concurrency: A Semantic Approach

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1999
Стр.: 
P.1245-1265.
Библиография: 
Bibliogr.: p.1264-1265
Том: 
1709
Карточка: 

Б2.23, Б2.42.

de Boer F. S., Hannemann U., De Roever W. -P..

Formal Justification of the Rely-Guarantee Paradigm for Shared-Variable Concurrency: A Semantic Approach// Lecture Notes in Computer Science-1999.-Vol. 1709.-P.1245-1265.
Bibliogr.: p.1264-1265

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