
Journals in DBLP
Acta Inf. 1988, volume: 25, number: 6
 RalphJohan Back
A Calculus of Refinements for Program Derivations. [Citation Graph (0, 0)][DBLP] Acta Inf., 1988, v:25, n:6, pp:593624 [Journal]
 José Luiz Fiadeiro, Amílcar Sernadas
Specification and Verification of Database Dynamics. [Citation Graph (6, 0)][DBLP] Acta Inf., 1988, v:25, n:6, pp:625661 [Journal]
 Sheldon Shen
Cooperative Distributed Dynamic Load Balancing. [Citation Graph (0, 0)][DBLP] Acta Inf., 1988, v:25, n:6, pp:663676 [Journal]
 Satish K. Tripathi, David Finkel, Erol Gelenbe
Load Sharing in Distributed Systems with Failures. [Citation Graph (0, 0)][DBLP] Acta Inf., 1988, v:25, n:6, pp:677689 [Journal]
 Giorgio Levi, Catuscia Palamidessi
Contributions to the Semantics of Logic Perpetual Processes. [Citation Graph (0, 0)][DBLP] Acta Inf., 1988, v:25, n:6, pp:691711 [Journal]
