External Links

    Journal: Distributed Computing

    Volume 6, Issue 4

    205 -- 209Amos Israeli, Ming Li. Bonded Time-Stamps
    211 -- 219Barbara Liskov. Practical Uses of Synchronized Clocks in Distributed Systems
    221 -- 231Yih-Kuen Tsay, Rajive Bagrodia. Some Impossibility Results in Interprocess Synchronization
    233 -- 244Jennifer L. Welch, Nancy A. Lynch. A Modular Drinking Philosophers Algorithm
    245 -- 254Paul C. Attie, Nissim Francez, Orna Grumberg. Fairness and Hyperfairness in Multi-Party Interactions

    Volume 6, Issue 3

    141 -- 154James H. Anderson. Composite Registers
    155 -- 164Reinhard Enders, Thomas Filkorn, Dirk Taubner. Generating BDDs for Symbolic Model Checking in CCS
    165 -- 179Jean Frédéric Myoupo. Mapping Dynamic Programming Onto Modular Linear Systolic Arrays
    181 -- 192Gil Neiger, Mark R. Tuttle. Common Knowledge and Consistent Simultaneous Coordination
    193 -- 203Rogério Drummond, Özalp Babaoglu. Low-Cost Clock Synchronization

    Volume 6, Issue 2

    73 -- 93Prakash Panangaden, Kim Taylor. Concurrent Common Knowledge: Defining Agreement for Asynchronous Systems
    95 -- 98Ted Herman. Self-Stabilization: Randomness to Reduce Space
    99 -- 105Anne Kaldewaij, Jan Tijmen Udding. Rank Order Filters and Priority Queues
    107 -- 120Shmuel Katz, Doron Peled. Verification of Distributed Programs Using Representative Interleaving Sequences
    121 -- 139Nancy A. Lynch, Hagit Attiya. Using Mappings to Prove Timing Properties

    Volume 6, Issue 1

    1 -- 3Fred B. Schneider. Introduction
    5 -- 18Manfred Broy. Algebraic and Functional Specification of an Interactive Serializable Database Interface
    19 -- 37Reino Kurki-Suonio. Operational Specification with Joint Actions: Serializable Databases
    39 -- 63Simon S. Lam, A. Udaya Shankar. Specifying Modules to Satisfy Interfaces: A State Transition System Approach
    65 -- 71Leslie Lamport. Critique of the Lake Arrowhead Three
    runs on