Journals in DBLP

Acta Inf.
1987, volume: 24, number: 1

1. Patrick Cousot, Radhia Cousot
   Sometime = Always + Recursion = Always on the Equivalence of the Intermittent and Invariant Assertions Methods for Proving Inevitability Properties of Programs. [Citation Graph (0, 0)][DBLP]
   Acta Inf., 1987, v:24, n:1, pp:1-31 [Journal]
   
2. Ryszard Janicki
   A Formal Semantics for Concurrent Systems with a Priority Relation. [Citation Graph (0, 0)][DBLP]
   Acta Inf., 1987, v:24, n:1, pp:33-55 [Journal]
   
3. Masato Takeichi
   Partial Parametrization Eliminates Multiple Traversals of Data Structures. [Citation Graph (0, 0)][DBLP]
   Acta Inf., 1987, v:24, n:1, pp:57-77 [Journal]
   
4. Oded Goldreich, Liuba Shrira
   Electing a Leader in a Ring with Link Failures. [Citation Graph (0, 0)][DBLP]
   Acta Inf., 1987, v:24, n:1, pp:79-91 [Journal]
   
5. Clement H. C. Leung
   Analysis of Space Allocation in a Generally Fragmented Linear Store. [Citation Graph (0, 0)][DBLP]
   Acta Inf., 1987, v:24, n:1, pp:93-104 [Journal]
   
6. K. Vidyasankar
   Generalized Theory of Serializability. [Citation Graph (3, 0)][DBLP]
   Acta Inf., 1987, v:24, n:1, pp:105-119 [Journal]