Front matter
846
A Case for Message Oriented Middleware
Guruduth Banavar, Tushar Chandra, Robert Strom and Daniel Sturman
83
Revisiting the Weakest Failure Detector for Uniform Reliable Broadcast
Marcos Kawazoe Aguilera, Sam Toueg and Borislav Deianov
847
Efficient Algorithms to Implement Unreliable Failure Detectors in Partially Synchronous Systems
Mikel Larrea, Sergio Arevalo and Antonio Fernndez
847
Solving Consensus Using Chandra-Toueg’s Unreliable Failure Detectors: A General Quorum-Based Approach
Achour Mostéfaoui and Michel Raynal
846
A Dynamic Primary Configuration Group Communication Service
Roberto De Prisco, Alan Fekete, Nancy Lynch and Alex Shvartsman
83
Asynchronous Group Membership with Oracles
Kal Lin and Vassos Hadzilacos
847
Generic Broadcast
Fernando Pedone and André Schiper
846
Non-blocking Asynchronous Byzantine Quorum Systems
Rida A. Bazzi
846
Byzantine Agreement Secure against General Adversaries in the Dual Failure Model
Bernd Altmann, Matthias Fitzi and Ueli Maurer
140-149
Randomness Recycling in Constant-Round Private Computations
(Extended Abstract)
Carlo Blundo, Clemente Galdi and Pino Persiano
846
Abuse-Free Multi-party Contract Signing
Juan A. Garay and Philip MacKenzie
847
Fair and Efficient Mutual Exclusion Algorithms
(Extended Abstract)
K. Alagarsamy and K. Vidyasankar
847
Fast and Scalable Mutual Exclusion
James H. Anderson and Yong-Jik Kim
846
The Congenial Talking Philosophers Problem in Computer Networks
(Extended Abstract)
Yuh-Jzer Joung
212-225
Software Fault Tolerance of Concurrent Programs Using Controlled Re-execution
Ashis Tarafdar and Vijay K. Garg
226-239
DUALITY: An Architecture Independent Design Model for Parallel Systems Based on Partial Order Semantics
Camelia Zlatea and Tzilla Elrad
847
A New Rewrite Method for Proving Convergence of Self-Stabilizing Systems
Joffroy Beauquier, Béatrice Bérard and Laurent Fribourg
256-268
Stabilization-Preserving Atomicity Refinement
Mikhail Nesterenko and Anish Arora
847
Self-Testing/Correcting Protocols
(Extended Abstract)
Matthew Franklin, Juan A. Garay and Moti Yung
847
Randomization Helps to Perform Tasks on Processors Prone to Failures
Bogdan S. Chlebus and Dariusz R. Kowalski
847
A New Scheduling Algorithm for General Strict Multithreaded Computations
Panagiota Fatourou and Paul Spirakis
846-847
Consensus Numbers of Transactional Objects
Eric Ruppert
847
Linearizability in the Presence of Drifting Clocks and Under Different Delay Assumptions
Maria Eleftheriou and Marios Mavronicolas
846
Maintenance of a Spanning Tree in Dynamic Networks
Shay Kutten and Avner Porat
Back matter