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