Sciweavers

FSTTCS
1997
Springer
14 years 21 days ago
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, o...
Sandeep S. Kulkarni, Anish Arora
FSTTCS
1997
Springer
14 years 21 days ago
Compilation and Equivalence of Imperative Objects
Andrew D. Gordon, Paul D. Hankin, Søren B. ...