1. A calculus of refinements for program derivations

   • R. J. R. Back

   OriginalPaper Pages: 593 - 624

2. Specification and verification of database dynamics

   • José Fiadeiro
   • Amílcar Sernadas

   OriginalPaper Pages: 625 - 661

3. Cooperative distributed dynamic load balancing

   • Sheldon Shen

   OriginalPaper Pages: 663 - 676

4. Load sharing in distributed systems with failures

   • Satish K. Tripathi
   • David Finkel
   • Erol Gelenbe

   OriginalPaper Pages: 677 - 689

5. Contributions to the semantics of logic perpetual processes

   • Giorgio Levi
   • Catuscia Palamidessi

   OriginalPaper Pages: 691 - 711

6. Acknowledgement to referees

   Acknowledgments Pages: 713 - 714

7. Author index for volumes 1–25(1971–1988)

   Legacy Pages: 715 - 735