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
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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T203413 by the dblp team