13. DISC 1999:
Bratislava,
Slavak Republic
Prasad Jayanti (Ed.):
Distributed Computing, 13th International Symposium, Bratislava, Slavak Republic, September 27-29, 1999, Proceedings.
Lecture Notes in Computer Science 1693 Springer 1999, ISBN 3-540-66531-5 BibTeX
Invited Lecture
Regular Papers
- Marcos Kawazoe Aguilera, Sam Toueg, Borislav Deianov:
Revising the Weakest Failure Detector for Uniform Reliable Broadcast.
19-33
Electronic Edition (Springer LINK) BibTeX
- Mikel Larrea, Sergio Arévalo, Antonio Fernández:
Efficient Algorithms to Implement Unreliable Failure Detectors in Partially Synchronous Systems.
34-48
Electronic Edition (Springer LINK) BibTeX
- Achour Mostéfaoui, Michel Raynal:
Solving Consensus Using Chandra-Toueg's Unreliable Failure Detectors: A General Quorum-Based Approach.
49-63
Electronic Edition (Springer LINK) BibTeX
- Roberto De Prisco, Alan Fekete, Nancy A. Lynch, Alexander A. Shvartsman:
A Dynamic Primary Configuration Group Communication Service.
64-78
Electronic Edition (Springer LINK) BibTeX
- Kal Lin, Vassos Hadzilacos:
Asynchronous Group Membership with Oracles.
79-93
Electronic Edition (Springer LINK) BibTeX
- Fernando Pedone, André Schiper:
Generic Broadcast.
94-108
Electronic Edition (Springer LINK) BibTeX
- Rida A. Bazzi:
Non-blocking Asynchronous Byzantine Quorum Systems.
109-122
Electronic Edition (Springer LINK) BibTeX
- Bernd Altmann, Matthias Fitzi, Ueli M. Maurer:
Byzantine Agreement Secure against General Adversaries in the Dual Failure Model.
123-137
Electronic Edition (Springer LINK) BibTeX
- Carlo Blundo, Clemente Galdi, Pino Persiano:
Randomness Recycling in Constant-Round Private Computations (extended Abstract).
138-150
Electronic Edition (Springer LINK) BibTeX
- Juan A. Garay, Philip D. MacKenzie:
Abuse-Free Multi-party Contract Signing.
151-165
Electronic Edition (Springer LINK) BibTeX
- K. Alagarsamy, K. Vidyasankar:
Fair and Efficient Mutual Exclusion Algorithms (Extended Abstract).
166-179
Electronic Edition (Springer LINK) BibTeX
- James H. Anderson, Yong-Jik Kim:
Fast and Scalable Mutual Exclusion.
180-194
Electronic Edition (Springer LINK) BibTeX
- Yuh-Jzer Joung:
The Congenial Talking Philosophers Problem in Computer Networks (Extended Abstract).
195-209
Electronic Edition (Springer LINK) BibTeX
- Ashis Tarafdar, Vijay K. Garg:
Software Fault Tolerance of Concurrent Programs Using Controlled Re-execution.
210-224
Electronic Edition (Springer LINK) BibTeX
- Camelia Zlatea, Tzilla Elrad:
DUALITY: An Architecture Independent Design Model for Parallel Systems Based on Partial Orders Semantics.
225-239
Electronic Edition (Springer LINK) BibTeX
- Joffroy Beauquier, Béatrice Bérard, Laurent Fribourg:
A New Rewrite Method for Convergence of Self-Stabilizing Systems.
240-253
Electronic Edition (Springer LINK) BibTeX
- Mikhail Nesterenko, Anish Arora:
Stabilization-Preserving Atomicity Refinement.
254-268
Electronic Edition (Springer LINK) BibTeX
- Matthew K. Franklin, Juan A. Garay, Moti Yung:
Self-Testing/Correcting Protocols (Extended Abstract).
269-283
Electronic Edition (Springer LINK) BibTeX
- Bogdan S. Chlebus, Dariusz R. Kowalski:
Randomization Helps to Perform Tasks on Processors Prone to Failures.
284-296
Electronic Edition (Springer LINK) BibTeX
- Panagiota Fatourou, Paul G. Spirakis:
A New Scheduling Algorithm for General Strict Multithreaded Computations.
297-311
Electronic Edition (Springer LINK) BibTeX
- Eric Ruppert:
Consensus Numbers of Transactional Objects.
312-326
Electronic Edition (Springer LINK) BibTeX
- Maria Eleftheriou, Marios Mavronicolas:
Linearizability in the Presence of Drifting Clocks and Under Different Delay Assumptions.
327-341
Electronic Edition (Springer LINK) BibTeX
- Shay Kutten, Avner Porat:
Maintenance of a Spanning Tree in Dynamic Networks.
342-355
Electronic Edition (Springer LINK) BibTeX
Copyright © Sat May 16 23:47:28 2009
by Michael Ley (ley@uni-trier.de)