Distributed Computing, Volume 11

Volume 11, Number 1, 1997

• James H. Anderson, Mark Moir:
  Using Local-Spin k-Exclusion Algorithms to Improve Wait-Free Object Implementations. 1-20
  Electronic Edition (Springer LINK) BibTeX
• Twan Basten, Thomas Kunz, James P. Black, Michael H. Coffin, David J. Taylor:
  Vector Time and Causality Among Abstract Events in Distributed Computations. 21-39
  Electronic Edition (Springer LINK) BibTeX
• Hagit Attiya, Rinat Rappoport:
  The Level of Handshake Required for Managing a Connection. 41-57
  Electronic Edition (Springer LINK) BibTeX

Volume 11, Number 2, 1998

• Khaled A. S. Abdel-Ghaffar, Amr El Abbadi:
  Efficient Detection of Discrepancies in Multiple File Copies. 59-72
  Electronic Edition (Springer LINK) BibTeX
• James W. Gray III, Paul F. Syverson:
  A Logical Approach to Multilevel Security of Probabilistic Systems. 73-90
  Electronic Edition (Springer LINK) BibTeX
• Ajay D. Kshemkalyani, Mukesh Singhal:
  Necessary and Sufficient Conditions on Information for Causal Message Ordering and Their Optimal Implementation. 91-111
  Electronic Edition (Springer LINK) BibTeX

Volume 11, Number 3, 1998

• Alessandro Panconesi, Marina Papatriantafilou, Philippas Tsigas, Paul M. B. Vitányi:
  Randomized Naming Using Wait-Free Shared Variables. 113-124
  Electronic Edition (Springer LINK) BibTeX
• Christel Baier, Marta Z. Kwiatkowska:
  Model Checking for a Probabilistic Branching Time Logic with Fairness. 125-155
  Electronic Edition (Springer LINK) BibTeX
• Injong Rhee:
  A Modular Algorithm for Resource Allocation. 157-168
  Electronic Edition (Springer LINK) BibTeX

Volume 11, Number 4, 1998

• Ajay D. Kshemkalyani:
  Causality and Atomicity in Distributed Computations. 169-189
  Electronic Edition (Springer LINK) BibTeX
• Craig M. Chase, Vijay K. Garg:
  Detection of Global Predicates: Techniques and Their Limitations. 191-201
  Electronic Edition (Springer LINK) BibTeX
• Dahlia Malkhi, Michael K. Reiter:
  Byzantine Quorum Systems. 203-213
  Electronic Edition (Springer LINK) BibTeX