At-Most-Once Message Delivery. A Case Study in Algorithm Verification | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Sogaard-Andersen J.

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

1

Вид:

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

Год:

1992

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

протокол

спецификация

верификация

Стр.:

P.317-324.

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

Bibliogr.: p.324.

Издательство:

Источник:

Lecture Notes in Computer Science

Том:

630

Карточка:

А3.53, Б2.4.

Lampson B., Lynch N., Sogaard-Andersen J..

At-Most-Once Message Delivery. A Case Study in Algorithm Verification: Springer// Lecture Notes in Computer Science-1992.-Vol. 630.-P.317-324.
Bibliogr.: p.324.

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

PAP4 393