Journals in DBLP

Formal Asp. Comput.
1999, volume: 11, number: 5

1. Amy P. Felty, Frank A. Stomp
   Cache Coherency in SCI: Specification and a Sketch of Correctness. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 1999, v:11, n:5, pp:475-497 [Journal]
   
2. Richard Banach, Michael Poppleton
   Sharp Retrenchment, Modulated Refinement and Simulation. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 1999, v:11, n:5, pp:498-540 [Journal]
   
3. Thomas Kleymann
   Hoare Logic and Auxiliary Variables. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 1999, v:11, n:5, pp:541-566 [Journal]
   
4. David H. Pitt, M. W. Shields
   Overtaking in Asynchronous Periodic Systems. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 1999, v:11, n:5, pp:567-590 [Journal]