PODC 1987 | Sciweavers

17

PODC
1987
ACM

75views Distributed and Parallel Com...» more PODC 1987»

Hierarchical Correctness Proofs for Distributed Algorithms

14 years 2 months ago

Abstract: We introduce the input-output automaton, a simple but powerful model of computation in asynchronous distributed networks. With this model we are able to construct modular...

Nancy A. Lynch, Mark R. Tuttle

claim paper

Read More »

14

click to vote

PODC
1987
ACM

84views Distributed and Parallel Com...» more PODC 1987»

Specifying Graceful Degradation in Distributed Systems

14 years 2 months ago

Download www.cs.cmu.edu

Maurice Herlihy, Jeannette M. Wing

claim paper

Read More »

14

click to vote

PODC
1987
ACM

72views Distributed and Parallel Com...» more PODC 1987»

Quorum Consensus in Nested Transaction Systems

14 years 2 months ago

Download groups.csail.mit.edu

Kenneth J. Goldman, Nancy A. Lynch

claim paper

Read More »

15

click to vote

PODC
1987
ACM

59views Distributed and Parallel Com...» more PODC 1987»

Shifting Gears: Changing Algorithms on the Fly To Expedite Byzantine Agreement

14 years 2 months ago

Download www.iis.nsk.su

Amotz Bar-Noy, Danny Dolev, Cynthia Dwork, H. Raym...

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers