Sciweavers

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