Journals in DBLP

Formal Asp. Comput.
1996, volume: 8, number: 4

1. Matthew Hennessy, H. Lin
   Proof Systems for Message-Passing Process Algebras. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 1996, v:8, n:4, pp:379-407 [Journal]
   
2. David Scholefield
   Real-Time Refinement in Manna and Pnueli's Temporal Logic. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 1996, v:8, n:4, pp:408-427 [Journal]
   
3. Christoph Beierle, Egon Börger
   Specification and Correctness Proof of a WAM Extension with Abstract Type Constraints. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 1996, v:8, n:4, pp:428-462 [Journal]
   
4. Stefan Rönn
   Invariants and Closures in the Theory of Rewrite Systems. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 1996, v:8, n:4, pp:463-478 [Journal]
   
5. A. P. Martin, Paul H. B. Gardiner, Jim Woodcock
   A Tactic Calculus-Abridged Version. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 1996, v:8, n:4, pp:479-489 [Journal]
   
6. Mark Harman, Dan Simpson, Sebastian Danicic
   Slicing Programs in the Presence of Errors. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 1996, v:8, n:4, pp:490-497 [Journal]