Compositional Design of Multitolerant Repetitive Byzantine Agreement
Sandeep S. Kulkarni, Anish Arora · McGill-Queen's University Press eBooks · 1997
We illustrate in this paper a compositional and stepwise approach for designing programs that offer a potentially unique tolerance to each of their fault-classes. More specifically, our illustration is a design of a repetitive agreement program that offers two tolerances: (a) it masks the effects of Byzantine failures and (b) it is stabilizing in the presence of transient and Byzantine failures.