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 BibTeX
Shmuel Katz, Kenneth J. Perry: Self-Stabilizing Extensions for Message-Passing Systems. 17-26 BibTeX
Yehuda Afek, Geoffrey M. Brown: Self-Stabilization Over Unreliable Communication Media. 27-34 BibTeX
James E. Burns, Mohamed G. Gouda, Raymond E. Miller: Stabilization and Pseudo-Stabilization. 35-42 BibTeX
Anish Arora, Paul C. Attie, Michael Evangelist, Mohamed G. Gouda: Convergence of Iteration Systems. 43-53 BibTeX
Sukumar Ghosh, Mehmet Hakan Karaata: A Self-Stabilizing Algorithm for Coloring Planar Graphs. 55-59 BibTeX
Shing-Tsaan Huang, Nian-Shing Chen: Self-Stabilizing Depth-First Token Circulation on Networks. 61-66 BibTeX

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

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

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