Distributed Computing, Volume 1

Volume 1, Number 1, 1986

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

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

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

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