Journals in DBLP

Acta Inf.
1992, volume: 29, number: 8

1. Donald Sannella, Stefan Sokolowski, Andrzej Tarlecki
   Toward Formal Development of Programs from Algebraic Specifications: Parameterisation Revisited. [Citation Graph (0, 0)][DBLP]
   Acta Inf., 1992, v:29, n:8, pp:689-736 [Journal]
   
2. S. Arun-Kumar, Matthew Hennessy
   An Efficiency Preorder for Processes. [Citation Graph (0, 0)][DBLP]
   Acta Inf., 1992, v:29, n:8, pp:737-760 [Journal]
   
3. Emanuela Fachini, Angelo Monti, Margherita Napoli, Domenico Parente
   Languages Accepted by Systolic Y-Tree Automata: Structural Characterizations. [Citation Graph (0, 0)][DBLP]
   Acta Inf., 1992, v:29, n:8, pp:761-778 [Journal]
   
4. Adrian Atanasiu
   A Class of Coders Based on GSM. [Citation Graph (0, 0)][DBLP]
   Acta Inf., 1992, v:29, n:8, pp:779-791 [Journal]