External Links

    Journal: Distributed Computing

    Volume 1, Issue 4

    185 -- 186Edmund M. Clarke. Distributed Computing Issues in Hardware Design
    187 -- 196William J. Dally, Charles L. Seitz. The Torus Routing Chip
    197 -- 204Jan Tijmen Udding. A Formal Model for Defining and Classifying Delay-Insensitive Circuits and Systems
    205 -- 225David L. Black. On the Existence of Delay-Insensitive Fair Arbiters: Trace Theory and its Limitations
    226 -- 234Alain J. Martin. Compiling Communicating Processes Into Delay-Insensitive VLSI Circuits
    235 -- 245Robert M. Keller, Prakash Panangaden. Semantics of Digital Networks Containing Indeterminate Modules
    246 -- 257H. T. Kung, Jon A. Webb. Mapping Image Processing Operations onto a Linear Systolic Machine

    Volume 1, Issue 3

    133 -- 149Gregory R. Andrews, Ronald A. Olsson. The Evolution of the SR Language
    150 -- 166Thomas S. Anantharaman, Edmund M. Clarke, Michael J. Foster, Bud Mishra. Compiling Path Expressions Into VLSI Circuits
    167 -- 176Yoram Moses, Danny Dolev, Joseph Y. Halpern. Cheating Husbands and other Stories: A Case Study of Knowledge, Action, and Communication
    177 -- 183K. Mani Chandy, Jayadev Misra. Systolic Algorithms as Programs

    Volume 1, Issue 2

    77 -- 85Leslie Lamport. On Interprocess Communication. Part I: Basic Formalism
    86 -- 101Leslie Lamport. On Interprocess Communication. Part II: Algorithms
    102 -- 118Barbara Liskov, William E. Weihl. Specifications of Distributed Programs
    119 -- 132Daniel Barbará, Hector Garcia-Molina. Mutual Exclusion in Partitioned Distributed Systems

    Volume 1, Issue 1

    5 -- 6Edsger W. Dijkstra. A Belated Proof of Self-Stabilization
    7 -- 25Van Nguyen, Alan J. Demers, David Gries, Susan S. Owicki. A Model and Temporal Proof System for Networks of Processes
    26 -- 39Michael J. Fischer, Nancy A. Lynch, Michael Merritt. Easy Impossibility Proofs for Distributed Consensus Problems
    40 -- 52K. Mani Chandy, Jayadev Misra. How Processes Learn
    53 -- 72Amir Pnueli, Lenore D. Zuck. Verification of Multiprocess Probabilistic Protocols
    runs on