Вы здесь

Главная

Semi-formal Development of a Fault-Tolerant Leader Election Protocol in Erlang

Автор: 
Arts Th.
Claessen K.
Svensson H.
Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
2005
Ключевые слова: 
распределенный
функциональное программирование
отказоустойчивый
алгоритм
верификация
диаграмма состояний
Стр.: 
P.140-154
Библиография: 
Bibliogr.: p.153-154
Место издания: 
Berlin
Heidelberg
Издательство: 
Springer
Серия: 
Lecture Notes in Computer Science
Источник: 
Lecture Notes in Computer Science
Том: 
3395
Карточка: 

Б2.23, Б3.14.

Arts Th., Claessen K., Svensson H..

Semi-formal Development of a Fault-Tolerant Leader Election Protocol in Erlang-Berlin, Heidelberg.: Springer// Lecture Notes in Computer Science, 2005.-Vol. 3395.-P.140-154-(Lecture Notes in Computer Science).
Bibliogr.: p.153-154

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