Journals in DBLP

Sci. Comput. Program.
1995, volume: 24, number: 2

1. Scott D. Stoller, Fred B. Schneider
   Verifying Programs That Use Causally-Ordered Message-Passing. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 1995, v:24, n:2, pp:105-128 [Journal]
   
2. K. Mani Chandy, Beverly A. Sanders
   Predicate Transformers for Reasoning about Concurrent Computation. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 1995, v:24, n:2, pp:129-148 [Journal]
   
3. Anne Kaldewaij, Laurens de Vries
   The Matrix as In-Situ Data Structure. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 1995, v:24, n:2, pp:149-158 [Journal]
   
4. David Scholefield
   Proving Properties of Real-Time Semaphores. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 1995, v:24, n:2, pp:159-181 [Journal]