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
  
• 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
  
• Hagit Attiya, Rinat Rappoport:
  The Level of Handshake Required for Managing a Connection. 41-57
  

Volume 11, Number 2, 1998

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

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
  
• Christel Baier, Marta Z. Kwiatkowska:
  Model Checking for a Probabilistic Branching Time Logic with Fairness. 125-155
  
• Injong Rhee:
  A Modular Algorithm for Resource Allocation. 157-168
  

Volume 11, Number 4, 1998

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