Compositional Design of Multitolerant Repetitive Byzantine Agreement

We illustrate in this paper a compositional and stepwise method for designing programs that o er a potentially unique tolerance to each of their fault-classes. More speci cally, our illustration is a design of a repetitive agreement program that o ers two tolerances: (a) it masks the e ects of Byzantine failures and (b) it is stabilizing in the presence of transient and Byzantine failures.

• Type: Conference
• Year: 1997
• Where: FSTTCS
• Authors: Sandeep S. Kulkarni, Anish Arora
• Keywords: Byzantine Failures, FSTTCS 1997, Repetitive Agreement Program, Software Engineering, Stepwise Method