Result: Correctness proofs of distributed algorithms

*Title*:

*Author/editor-in-chief*:

Reisig, Wolfgang

*Publication*:

Berlin : Professoren des Inst. für Informatik, 1994

*Physical description scale*:

14 S. : graph. Darst.

*Format*:

*book*

*Language*:

*eng*

*series_multipart*:

Informatik-Berichte ; 38
*show_all_volumes*

*RVK-Notation*:

*Subject Added Keywords*:

*Result*: Correctness proofs of distributed algorithms