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
  

Volume 1, Number 2, 1986

• 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
  

Volume 1, Number 3, 1986

• 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
  

Volume 1, Number 4, 1986

• 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
  

Last update Mon May 20 00:50:22 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page