Distributed Computing
, Volume 13
Volume 13, Number 1, 2000
Ted Herman
:
Superstabilizing Mutual Exclusion.
1-17
Electronic Edition
(
Springer LINK
)
BibTeX
Dahlia Malkhi
,
Michael Merritt
,
Ohad Rodeh
:
Secure Reliable Multicast Protocols in a WAN.
19-28
Electronic Edition
(
Springer LINK
)
BibTeX
Jean-Michel Hélary
,
Achour Mostéfaoui
,
Robert H. B. Netzer
,
Michel Raynal
:
Communication-Based Prevention of Useless Checkpoints in Fistributed Computations.
29-43
Electronic Edition
(
Springer LINK
)
BibTeX
Rida A. Bazzi
:
Synchronous Byzantine Quorum Systems.
45-52
Electronic Edition
(
Springer LINK
)
BibTeX
Uriel Feige
,
Robert Krauthgamer
:
Networks on Which Hot-Potato Routing Does Not Livelock.
53-58
Electronic Edition
(
Springer LINK
)
BibTeX
Volume 13, Number 2, 2000
John Havlicek
:
Computable Obstructions to Wait-Free Computability.
59-83
Electronic Edition
(
Springer LINK
)
BibTeX
Scott D. Stoller
:
Detecting Global Predicates in Distributed Systems with Clocks.
85-98
Electronic Edition
(
Springer LINK
)
BibTeX
Marcos Kawazoe Aguilera
,
Wei Chen
,
Sam Toueg
:
Failure Detection and Consensus in the Crash-Recovery Model.
99-125
Electronic Edition
(
Springer LINK
)
BibTeX
Volume 13, Number 3, 2000
G. Manduchi
,
M. Moro
:
Automatic verification for a class of distributed systems.
127-143
Electronic Edition
(
Springer LINK
)
BibTeX
Joseph Y. Halpern
:
A note on knowledge-based programs and specifications.
145-153
Electronic Edition
(
Springer LINK
)
BibTeX
Anna Pogosyants
,
Roberto Segala
,
Nancy A. Lynch
:
Verification of the randomized consensus algorithm of Aspnes and Herlihy: a case study.
155-186
Electronic Edition
(
Springer LINK
)
BibTeX
Volume 13, Number 4, 2000
Editorial: Time for Change.
187
Electronic Edition
(
Springer LINK
)
BibTeX
Yuh-Jzer Joung
:
Asynchronous group mutual exclusion.
189-206
Electronic Edition
(
Springer LINK
)
BibTeX
Ajoy Kumar Datta
,
Colette Johnen
,
Franck Petit
,
Vincent Villain
:
Self-stabilizing depth-first token circulation in arbitrary rooted networks.
207-218
Electronic Edition
(
Springer LINK
)
BibTeX
Wai-Kau Lo
,
Vassos Hadzilacos
:
On the power of shared object types to implement one-resilient Consensus.
219-238
Electronic Edition
(
Springer LINK
)
BibTeX
Leslie Lamport
:
Fairness and hyperfairness.
239-245
Electronic Edition
(
Springer LINK
)
BibTeX
Copyright ©
Sat May 16 23:56:05 2009 by
Michael Ley
(
ley@uni-trier.de
)