External Links

    Journal: Distributed Computing

    Volume 3, Issue 4

    159 -- 177Joseph Y. Halpern, Ronald Fagin. Modelling Knowledge and Action in Distributed Systems
    178 -- 186Peter A. J. Hilbers, Johan J. Lukkien. Deadlock-Free Message Routing in Multicomputer Networks
    187 -- 195Pankaj Jalote. Fault Tolerant Processes
    196 -- 209Janice I. Glasgow, Glenn H. MacEwen. An Operator Net Model for Distributed Systems

    Volume 3, Issue 3

    107 -- 117Karl R. Abrahamson, Andrew Adler, Lisa Higham, David G. Kirkpatrick. Randomized Function Evaluation on a Ring
    118 -- 129Nicholas F. Maxemchuk, Krishan K. Sabnani. Probabilistic Verification of Communication Protocols
    130 -- 145John-Jules Ch. Meyer, Erik P. de Vink. Step Semantics for True Concurrency with Recursion
    146 -- 158Flaviu Cristian. Probabilistic Clock Synchronization

    Volume 3, Issue 2

    51 -- 60Douglas Comer, Larry L. Peterson. Understanding Naming in Distributed Systems
    61 -- 72Amotz Bar-Noy, Michael Ben-Or, Danny Dolev. Choice Coordination with Limited Failure
    73 -- 87Ralph-Johan Back, Reino Kurki-Suonio. Decentralization of Process Nets with Centralized Control
    88 -- 105Sanjay V. Rajopadhye. Synthesizing Systolic Arrays with Control Signals from Recurrence Equations

    Volume 3, Issue 1

    1 -- 8Tom Verhoeff. Delay-Insensitive Codes - an Overview
    9 -- 18Mark B. Josephs. A State-Based Approach to Communicating Processes
    19 -- 22Mee Yee Chan, Francis Y. L. Chin. Distributed Election in Complete Networks
    23 -- 40Huai-An Lin. A Methodology for Constructing Communication Protocols with Multiple Concurrent Functions
    41 -- 50Carl Pixley. An Incremental Garbage Collection Algorithm for Multi-Mutator Systems
    runs on