Journals in DBLP

Sci. Comput. Program.
1982, volume: 2, number: 3

1. Tzilla Elrad, Nissim Francez
   Decomposition of Distributed Programs into Communication-Closed Layers. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 1982, v:2, n:3, pp:155-173 [Journal]
   
2. Leslie Lamport
   An Assertional Correctness Proof of a Distributed Algorithm. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 1982, v:2, n:3, pp:175-206 [Journal]
   
3. David Gries
   A Note on a Standard Strategy for Developing Loop Invariants and Loops. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 1982, v:2, n:3, pp:207-214 [Journal]
   
4. Grigori Mints, Enn Tyugu
   Justifications of the Structural Synthesis of Programs. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 1982, v:2, n:3, pp:215-240 [Journal]
   
5. E. Allen Emerson, Edmund M. Clarke
   Using Branching Time Temporal Logic to Synthesize Synchronization Skeletons. [Citation Graph (2, 0)][DBLP]
   Sci. Comput. Program., 1982, v:2, n:3, pp:241-266 [Journal]