External Links

    Journal: Distributed Computing

    Volume 11, Issue 4

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

    Volume 11, Issue 3

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

    Volume 11, Issue 2

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

    Volume 11, Issue 1

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