Journals in DBLP

Acta Inf.
1989, volume: 27, number: 6

1. Carroll Morgan, Paul H. B. Gardiner
   Data Refinement by Calculation. [Citation Graph (0, 0)][DBLP]
   Acta Inf., 1989, v:27, n:6, pp:481-503 [Journal]
   
2. Harald Søndergaard, Peter Sestoft
   Referential Transparency, Definiteness and Unfoldability. [Citation Graph (0, 0)][DBLP]
   Acta Inf., 1989, v:27, n:6, pp:505-517 [Journal]
   
3. Erol Gelenbe, Marisela Hernández
   Optimum Checkpoints with Age Dependent Failures. [Citation Graph (0, 0)][DBLP]
   Acta Inf., 1989, v:27, n:6, pp:519-531 [Journal]
   
4. Dirk Taubner
   Representing CCS Programs by Finite Predicate/Transition Nets. [Citation Graph (0, 0)][DBLP]
   Acta Inf., 1989, v:27, n:6, pp:533-565 [Journal]
   
5. Joost Engelfriet, Willem de Jong
   Attribute Storage Optimization by Stacks. [Citation Graph (0, 0)][DBLP]
   Acta Inf., 1989, v:27, n:6, pp:567-581 [Journal]