Hosted with the Supercomputer Software Department RAS Home
Parallel Computing Technologies
4th International Conference (PaCT-97)
September 8-12, 1997. Yaroslavl, Russia
Proceedings
Authors
Contents
Home
Lecture Notes in Computer Science Vol. 1277


Analysis of a Distributed Election Algorithm Using COVERS 3.0 - A Case Study

by Andrei V. Borshchev, Yuri G. Karpov, Victor V. Roudakov, Alexei Filippov, Alexei Sintotskij, Sergei Fedorenko