Title: A formally verified alrgothim for interactive consistency under a hybrid fault model
First published: 1993
Subjects: Computer algorithms, Algorithms, Fault-tolerant computing