External Links

    Journal: Distributed Computing

    Volume 12, Issue 4

    175 -- 177Monika Kapus-Kolar. Comments on Deriving Protocol Specifications from Service Specifications Written in LOTOS
    179 -- 195Francisco J. Torres-Rojas, Mustaque Ahamad. Plausible Clocks: Constant Size Logical Clocks for Distributed Systems
    197 -- 207Wim H. Hesselink. Progress Under Bounded Fairness
    209 -- 223Michel Hurfin, Michel Raynal. A Simple and Fast Asynchronous Consensus Protocol Based on a Weak Failure Detector

    Volume 12, Issue 2-3

    55 -- 56Michael Merritt. Introduction
    57 -- 59Rob Gerth. Sequential Consistency and the Lazy Caching Algorithm
    61 -- 74Ed Brinksma. Cache Consistency by Design
    75 -- 90Susanne Graf. Characterization of a Sequentially Consistent Memory and Verification of a Cache Memory by Abstraction
    91 -- 103Gavin Lowe, Jim Davies. Using CSP to Verify Sequential Consistency
    105 -- 127Wil Janssen, Mannes Poel, Job Zwiers. The Compositional Approach to Sequential Consistency and Lazy Caching
    129 -- 149Bengt Jonsson, Amir Pnueli, Camilla Rump. Proving Refinement Using Transduction
    151 -- 174Peter B. Ladkin, Leslie Lamport, Bryan Olivier, Denis Roegel. Lazy Caching in TLA

    Volume 12, Issue 1

    1 -- 12Gurdip Singh. Constraint-based Structuring of Network Protocols
    13 -- 29Steven P. Ketchpel, Hector Garcia-Molina. A Sound and Complete Algorithm for Distributed Commerce Transactions
    31 -- 40Loe M. G. Feijs. Generating FSMs from Interworkings
    41 -- 46Shing-Tsaan Huang, Tzong-Jye Liu. Self-stabilizing 2:::m:::-Clock for Unidirectional Rings of Odd Size
    47 -- 53Mehmet Hakan Karaata, Pranay Chaudhuri. A Self-Stabilizing Algorithm for Bridge Finding
    runs on