Sciweavers

PODC
1987
ACM
15 years 1 months ago
Hierarchical Correctness Proofs for Distributed Algorithms
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
37
Voted
PODC
1987
ACM
15 years 1 months ago
Specifying Graceful Degradation in Distributed Systems
Maurice Herlihy, Jeannette M. Wing
33
Voted
PODC
1987
ACM
15 years 1 months ago
Quorum Consensus in Nested Transaction Systems
Kenneth J. Goldman, Nancy A. Lynch