Journals in DBLP

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

1. Jos C. M. Baeten, Jan A. Bergstra
   On Sequential Compoisiton, Action Prefixes and Process Prefixes. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 1994, v:6, n:3, pp:250-268 [Journal]
   
2. Pierre America, Frank S. de Boer
   Reasoning about Dynamically Evolving Process Structures. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 1994, v:6, n:3, pp:269-316 [Journal]
   
3. Bard Bloom
   When is Partial Trace Equivalence Adequate? [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 1994, v:6, n:3, pp:317-338 [Journal]
   
4. Chris Brink, Katarina Britz, Renate A. Schmidt
   Peirce Algebras. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 1994, v:6, n:3, pp:339-358 [Journal]