Distributed Computing

DISC, the International Symposium on DIStributed Computing, is an annual forum for research presentations on all facets of distributed computing. This volume includes 23 contributed papers and an invited lecture, all presented at DISC '99, held on September 27-29, 1999 in Bratislava, Slovak Republic. In addition to regular submissions, the call for papers for DISC '99 also - licited Brief Announcements (BAs). We received 60 regular submissions and 15 brief announcement submissions. These were read and evaluated by the p- gramcommittee, with the additional help of external reviewerswhen needed. At the program committee meeting on June 10-11 at Dartmouth College, Hanover, USA, 23 regular submissions and 4 BAs were selected for presentation at DISC '99. The extended abstracts of these 23 regular papers appear in this volume, while the four BAs appear as a special publication of Comenius Univ- sity, Bratislava the hostof DISC '99.It is expected that the regularpapers will be submitted later, in more polished form, to fully refereed scienti?c journals. Of the 23 regular papers selected for the conference, 12 quali?ed for the Best Student Paper award. The program committee awarded this honor to the paper entitled Revisiting the Weakest Failure Detector for Uniform Reliable Broadcast by Marcos Aguilera, Sam Toueg, and Borislav Deianov. Marcos and Borislav, who are both students, share this award.

Includes supplementary material: sn.pub/extras

Inhalt
Invited Lecture.- A Case for Message Oriented Middleware.- Regular Papers.- Revisiting the Weakest Failure Detector for Uniform Reliable Broadcast.- Efficient Algorithms to Implement Unreliable Failure Detectors in Partially Synchronous Systems.- Solving Consensus Using Chandra-Toueg's Unreliable Failure Detectors: A General Quorum-Based Approach.- A Dynamic Primary Configuration Group Communication Service.- Asynchronous Group Membership with Oracles.- Generic Broadcast.- Non-blocking Asynchronous Byzantine Quorum Systems.- Byzantine Agreement Secure against General Adversaries in the Dual Failure Model.- Randomness Recycling in Constant-Round Private Computations.- Abuse-Free Multi-party Contract Signing.- Fair and Efficient Mutual Exclusion Algorithms.- Fast and Scalable Mutual Exclusion.- The Congenial Talking Philosophers Problem in Computer Networks.- Software Fault Tolerance of Concurrent Programs Using Controlled Re-execution.- DUALITY: An Architecture Independent Design Model for Parallel Systems Based on Partial Order Semantics.- A New Rewrite Method for Proving Convergence of Self-Stabilizing Systems.- Stabilization-Preserving Atomicity Refinement.- Self-Testing/Correcting Protocols.- Randomization Helps to Perform Tasks on Processors Prone to Failures.- A New Scheduling Algorithm for General Strict Multithreaded Computations.- Consensus Numbers of Transactional Objects.- Linearizability in the Presence of Drifting Clocks and Under Different Delay Assumptions.- Maintenance of a Spanning Tree in Dynamic Networks.