Research Catalog

A formally verified alrgothim for interactive consistency under a hybrid fault model

Title
A formally verified alrgothim for interactive consistency under a hybrid fault model / Patrick Lincoln and John Rushby.
Author
Lincoln, Patrick
Publication
[Washington, D.C.] : National Aeronautics and Space Administration, Office of Management, Scientific and Technical Information Program ; [Springfield, Va.] : [National Technical Information Service, distributor], 1993.

Details

Additional Authors
  • Rushby, John, 1949-
  • United States. National Aeronautics and Space Administration. Scientific and Technical Information Program
Description
1 volume
Series Statement
NASA contractor report ; 4527
Uniform Title
NASA contractor report ; NASA CR-4527.
Subject
  • Algorithms
  • Computer algorithms
  • Fault-tolerant computing
Note
  • Distributed to depository libraries in microfiche.
  • Shipping list no.: 93-1290-M.
Reproduction (note)
  • Microfiche.
Call Number
READEX Microfiche NAS 1.26:4527
OCLC
29856378
Author
Lincoln, Patrick.
Title
A formally verified alrgothim for interactive consistency under a hybrid fault model / Patrick Lincoln and John Rushby.
Imprint
[Washington, D.C.] : National Aeronautics and Space Administration, Office of Management, Scientific and Technical Information Program ; [Springfield, Va.] : [National Technical Information Service, distributor], 1993.
Type of Content
text
Type of Medium
microform
Type of Carrier
microfiche
Series
NASA contractor report ; 4527
NASA contractor report ; NASA CR-4527. http://id.loc.gov/authorities/names/n83825229
Reproduction
Microfiche. [Washington, D.C. : National Aeronautics and Space Administration, 1993]. 1 microfiche.
Added Author
Rushby, John, 1949-
United States. National Aeronautics and Space Administration. Scientific and Technical Information Program.
Gpo Item No.
0830-H-14 (MF)
Sudoc No.
NAS 1.26:4527
View in Legacy Catalog