External Links

    Journal: Distributed Computing

    Volume 2, Issue 4

    177 -- 189Özalp Babaoglu, Pat Stephenson, Rogério Drummond. Reliable Broadcasts and Communication Models: Tradeoffs and Lower Bounds
    190 -- 200Stein Gjessing. Semantics and Verification of Monitors and Systems of Monitors and Processes
    201 -- 212Paolo Ancilotti, Antonia Bertolino, Mario Fusani. An Approach to Efficient Distributed Transactions
    213 -- 225Ana R. Cavalli, Etienne Paul. Exhaustive Analysis and Simulation for Distributed Systems, both Sides of the Same Coin
    226 -- 241Krzysztof R. Apt, Nissim Francez, Shmuel Katz. Appraising Fairness in Languages for Distributed Programming

    Volume 2, Issue 3

    117 -- 126Bowen Alpern, Fred B. Schneider. Recognizing Safety and Liveness
    127 -- 138Gabriel Bracha, Sam Toueg. Distributed Deadlock Detection
    139 -- 148Yaron I. Gold, Shlomo Moran. Distributed Algorithms for Constructing a Minimum-Weight Spaning Tree in a Broadcast Network
    149 -- 160Jan van Leeuwen, Richard B. Tan. An Improved Upperbound for Distributed Election in Bidirectional Rings of Processors
    161 -- 175Friedemann Mattern. Algorithms for Distributed Termination Detection

    Volume 2, Issue 2

    61 -- 79A. Udaya Shankar, Simon S. Lam. Time-Dependent Distributed Systems: Proving Safety, Liveness and Real-Time Properties
    80 -- 94T. K. Srikanth, Sam Toueg. Simulating Authenticated Broadcasts to Derive Simple Fault-Tolerant Algorithms
    95 -- 103Vassos Hadzilacos. Connectivity Requirements for Byzantine Agreement under Restricted Types of Failures
    104 -- 112Raymond E. Miller. The Construction of Self-Synchronizing Finite State Protocols
    113 -- 115Jan L. A. van de Snepscheut. Fair Mutual Exclusion on a Graph of Processes

    Volume 2, Issue 1

    1 -- 12Jifeng He, C. A. R. Hoare. Algebraic Specification and Proof of a Distributed Recovery Algorithm
    13 -- 31Manfred Broy. Semantics of Finite and Infinite Networks of Concurrent Communicating Agents
    32 -- 44Philip A. Bernstein, Nathan Goodman. A Proof Technique for Concurrency Control and Recovery Algorithms for Replicated Databases
    45 -- 59Divyakant Agrawal, Arthur J. Bernstein, Pankaj Gupta, Soumitra Sengupta. Distributed Optimistic Concurrency Control with Reduced Rollback
    runs on