Journals in DBLP

Formal Asp. Comput.
1994, volume: 6, number: 2

1. Jan Friso Groote, Alban Ponse
   Process Algebra with Guards: Combining Hoare Logic with Process Algebra. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 1994, v:6, n:2, pp:115-164 [Journal]
   
2. Gérard Boudol, Ilaria Castellani, Matthew Hennessy, Astrid Kiehn
   A Theory of Processes with Localities. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 1994, v:6, n:2, pp:165-200 [Journal]
   
3. Luca Aceto
   A Static View of Localities. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 1994, v:6, n:2, pp:201-222 [Journal]
   
4. Grigoris Antoniou
   The Verification of Modules. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 1994, v:6, n:2, pp:223-244 [Journal]