Journals in DBLP

Formal Asp. Comput.
1989, volume: 1, number: 3

1. Marta Z. Kwiatkowska
   Event Fairness and Non-interleaving Concurrency. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 1989, v:1, n:3, pp:213-228 [Journal]
   
2. Jifeng He
   Process Simulation and Refinement. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 1989, v:1, n:3, pp:229-241 [Journal]
   
3. Sören Holmström
   A Refinement Calculus for Specifications in Hennessy-Milner Logic with Recursion. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 1989, v:1, n:3, pp:242-272 [Journal]
   
4. D. J. Walker
   Automated Analysis of Mutual Exclusion Algorithms using CCS. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 1989, v:1, n:3, pp:273-292 [Journal]