Distributed Computing, Volume 1

Volume 1, Number 1, 1986

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

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

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

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