Journals in DBLP

Formal Asp. Comput.
1995, volume: 7, number: 1

1. Jan L. A. van de Snepscheut
   The Sliding-Window Protocol Revisited. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 1995, v:7, n:1, pp:3-17 [Journal]
   
2. José Félix Costa, Amílcar Sernadas
   Progress Assumption in Concurrent Systems. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 1995, v:7, n:1, pp:18-36 [Journal]
   
3. Michael J. Butler, Carroll Morgan
   Action Systemes, Unbounded Nondeterminism, and Infinite Traces. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 1995, v:7, n:1, pp:37-53 [Journal]
   
4. Steve King, Carroll Morgan
   Exits in the Refinement Calculus. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 1995, v:7, n:1, pp:54-76 [Journal]
   
5. Pierre Lescanne
   Termination of Rewrite Systems by Elementary Interpretations. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 1995, v:7, n:1, pp:77-90 [Journal]
   
6. J. Coenen
   Hoare's Logic and VDM. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 1995, v:7, n:1, pp:91-105 [Journal]