Journal: Distributed Computing

Volume 7, Issue 4

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

Volume 7, Issue 3

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

Volume 7, Issue 2

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

Volume 7, Issue 1

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