Sciweavers

3 search results - page 1 / 1
» fsttcs 1997
Sort
View
FSTTCS
1997
Springer
13 years 7 months ago
Compilation and Equivalence of Imperative Objects
Andrew D. Gordon, Paul D. Hankin, Søren B. ...
FSTTCS
1997
Springer
13 years 7 months 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