Distributed Computing, Volume 7

Volume 7, Number 1, 1993

• Shlomi Dolev, Amos Israeli, Shlomo Moran:
  Self-Stabilization of Dynamic Systems Assuming Only Read/Write Atomicity. 3-16
  
• Shmuel Katz, Kenneth J. Perry:
  Self-Stabilizing Extensions for Message-Passing Systems. 17-26
  
• Yehuda Afek, Geoffrey M. Brown:
  Self-Stabilization Over Unreliable Communication Media. 27-34
  
• James E. Burns, Mohamed G. Gouda, Raymond E. Miller:
  Stabilization and Pseudo-Stabilization. 35-42
  
• Anish Arora, Paul C. Attie, Michael Evangelist, Mohamed G. Gouda:
  Convergence of Iteration Systems. 43-53
  
• Sukumar Ghosh, Mehmet Hakan Karaata:
  A Self-Stabilizing Algorithm for Coloring Planar Graphs. 55-59
  
• Shing-Tsaan Huang, Nian-Shing Chen:
  Self-Stabilizing Depth-First Token Circulation on Networks. 61-66
  

Volume 7, Number 2, 1993

• Piotr Berman, Juan A. Garay:
  Fast Consensus in Networks of Bounded Degree. 67-73
  
• Louise E. Moser, P. M. Melliar-Smith, Vivek Agrawala:
  Necessary and Sufficient Conditions for Broadcast Consensus Protocols. 75-85
  
• Brian A. Coan:
  Efficient Agreement Using Fault Diagnosis. 87-98
  
• Michael Merritt, Gadi Taubenfeld:
  Knowledge in Shared Memory Systems. 99-109
  
• Mike Livesey:
  A Note on Consistency in Asynchronous Multicaches. 111-114
  

Volume 7, Number 3, 1994

• Augusto Ciuffoletti:
  Reliability Versus Cost: Design of a Probabilistic Broadcast Algorithm. 115-127
  
• Alain Finkel:
  Decidability of the Termination Problem for Completely Specified Protocols. 129-135
  
• Jean-Michel Hélary, Michel Raynal:
  Towards the Construction of Distributed Detection Programs, with an Application to Distributed Termination. 137-147
  
• Reinhard Schwarz, Friedemann Mattern:
  Detecting Causal Relationships in Distributed Computations: In Search of the Holy Grail. 149-174
  

Volume 7, Number 4, 1994

• James H. Anderson:
  Multi-Writer Composite Registers. 175-195
  
• Bengt Jonsson:
  A Fully Abstract Trace Model for Dataflow and Asynchronous Networks. 197-212
  
• Michael Merritt, Gadi Taubenfeld:
  Atomic m-Register Operations. 213-221
  

Last update Thu May 23 18:40:27 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page