Title: A formally verified algorithm for interactive consistency under a hybrid fault model
First published: 1993
Subjects: Fault tolerance