ISBN: 3-540-66531-5
TITLE: Distributed Computing
AUTHOR: Jayanti, Prasad (Ed.)
TOC:

Invited Lecture
A Case for Message Oriented Middleware 1
Guruduth Banavar, Tushar Chandra, Robert Strom and Daniel Sturman
Regular Papers
Revisiting the Weakest Failure Detector for Uniform Reliable Broadcast (Won the Best Student Paper Award) 19
Marcos Kawazoe Aguilera, Sam Toueg and Borislav Deianov
Efficient Algorithms to Implement Unreliable Failure Detectors in Partially Synchronous Systems 34
Mikel Larrea, Sergio Arevalo and Antonio Fernndez
Solving Consensus Using Chandra-Toueg's Unreliable Failure Detectors: A General Quorum-B ased Approach 49
Achour Mostfaoui and Michel Raynal
A Dynamic Primary Configuration Group Communication Service 64
Roberto De Prisco, Alan Fekete, Nancy Lynch and Alex Shvartsman
Asynchronous Group Membership with Oracles 79
Kal Lin and Vassos Hadzilacos
Generic B roadcast 94
Fernando Pedone and Andr Schiper
Non-B locking Asynchronous B yzantine Quorum Systems 109
Rida A. Bazzi
Byzantine Agreement Secure Against General Adversaries in the Dual Failure Model 123
Bernd Altmann, Matthias Fitzi and Ueli Maurer
Randomness Recycling in Constant-Round Private Computations 138
Carlo Blundo, Clemente Galdi and Pino Persiano
Abuse-free Multi-party Contract Signing 151
Juan A. Garay and Philip MacKenzie
Fair and Efficient Mutual Exclusion Algorithms 166
K. Alagarsamy and K. Vidyasankar
Fast and Scalable Mutual Exclusion 180
James H. Anderson and Yong-Jik Kim
The Congenial Talking Philosophers Problem in Computer Networks 195
Yuh-Jzer Joung
Software Fault Tolerance of Concurrent Programs Using Controlled Re-execution 210
Ashis Tarafdar and Vijay K. Garg
DUALITY: An Architecture Independent Design Model for Parallel Systems Based on Partial Order Semantics 225
Camelia Zlatea and Tzilla Elrad
A New Rewrite Method for Proving Convergence of Self-Stabilizing Systems 240
Joffroy Beauquier, Batrice Brard and Laurent Fribourg
Stabilization-Preserving Atomicity Refinement 254
Mikhail Nesterenko and Anish Arora
Self-Testing/Correcting Protocols 269
Matthew Franklin, Juan A. Garay and Moti Yung
Randomization Helps to Perform Tasks on Processors Prone to Failures 284
Bogdan S. Chlebus and Dariusz R. Kowalski
A New Scheduling Algorithm for General Strict Multithreaded Computations 297
Panagiota Fatourou and Paul Spirakis
Consensus Numbers of Transactional Objects 312
Eric Ruppert
Linearizability in the Presence of Drifting Clocks and Under Different Delay Assumptions 327
Maria Eleftheriou and Marios Mavronicolas
Maintenance of a Spanning Tree in Dynamic Networks 342
Shay Kutten and Avner Porat
Author Index 357
END
