A formally verified algorithm for interactive consistency under a hybrid fault model
By: Patrick Lincoln and John Rushby.
Contributors: Rushby, John.; Langley Research Center
Publisher: Langley Research Center
Published: 1993
Place of publication: Hampton, Va
Number of pages: 67
Subjects: Fault tolerance
Notes: Includes bibliographical references: p. 56-59.