Journals in DBLP

Distributed Computing
1986, volume: 1, number: 1

1. Edsger W. Dijkstra
   A Belated Proof of Self-Stabilization. [Citation Graph (0, 0)][DBLP]
   Distributed Computing, 1986, v:1, n:1, pp:5-6 [Journal]
   
2. Van Nguyen, Alan J. Demers, David Gries, Susan S. Owicki
   A Model and Temporal Proof System for Networks of Processes. [Citation Graph (0, 0)][DBLP]
   Distributed Computing, 1986, v:1, n:1, pp:7-25 [Journal]
   
3. Michael J. Fischer, Nancy A. Lynch, Michael Merritt
   Easy Impossibility Proofs for Distributed Consensus Problems. [Citation Graph (0, 0)][DBLP]
   Distributed Computing, 1986, v:1, n:1, pp:26-39 [Journal]
   
4. K. Mani Chandy, Jayadev Misra
   How Processes Learn. [Citation Graph (1, 0)][DBLP]
   Distributed Computing, 1986, v:1, n:1, pp:40-52 [Journal]
   
5. Amir Pnueli, Lenore D. Zuck
   Verification of Multiprocess Probabilistic Protocols. [Citation Graph (0, 0)][DBLP]
   Distributed Computing, 1986, v:1, n:1, pp:53-72 [Journal]