Volume 24, Number 1, 1987
- Patrick Cousot, Radhia Cousot:
Sometime = Always + Recursion = Always on the Equivalence of the Intermittent and Invariant Assertions Methods for Proving Inevitability Properties of Programs.
1-31

- Ryszard Janicki:
A Formal Semantics for Concurrent Systems with a Priority Relation.
33-55

- Masato Takeichi:
Partial Parametrization Eliminates Multiple Traversals of Data Structures.
57-77

- Oded Goldreich, Liuba Shrira:
Electing a Leader in a Ring with Link Failures.
79-91

- Clement H. C. Leung:
Analysis of Space Allocation in a Generally Fragmented Linear Store.
93-104

- K. Vidyasankar:
Generalized Theory of Serializability.
105-119

Volume 24, Number 2, 1987
Volume 24, Number 3, 1987
Volume 24, Number 4, 1987
Volume 24, Number 5, 1987
Volume 24, Number 6, 1987
Last update Fri May 24 19:58:33 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page