The proceedings contain 24 papers. The topics discussed include: Shifting Gears: shifting gears: changing algorithms on the fly to expedite byzantine agreement;quorum consensus in nested transaction systems;detection ...
ISBN:
(纸本)089791239X
The proceedings contain 24 papers. The topics discussed include: Shifting Gears: shifting gears: changing algorithms on the fly to expedite byzantine agreement;quorum consensus in nested transaction systems;detection of stable properties in distributed applications;modular verification of asynchronous networks;asynchronous approximate agreement;epidemic algorithms for replicated database maintenance;on the time-complexity of broadcast in radio networks: an exponential gap between determinism and randomization;specifying graceful degradation in distributed systems;update propagation in bakunin data networks;on processor coordination using asynchronous hardware;hierarchical correctness proofs for distributed algorithms;an optimal synchronizer for the hypercube;fault-tolerant decision making in totally asynchronous distributed systems;a hierarchy of temporal properties;the elusive atomic register revisited;specifying message passing systems requires extending temporai logic;constructing multi-reader atomic values from non-atomic values;a protocol for wait-free, atomic, multi-reader shared variables;and a little knowledge goes a long way: simple knowledge-based derivations and correctness proofs for a family of protocols.
When evaluated to true, a stable property remains true forever. Such a stable property may characterize important states of a computation. This is the case of deadlocked or terminated computations. In this paper we ex...
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, hierarchical correctness proofs for distribut...
We study time and knowledge in reliable distributed systems with asynchronous communication. We first describe an extension of Lamport's logical clocks that can be used as if they were perfectly synchronized real-...
详细信息
暂无评论