1. Editorial Note

   • Dominique Méry
   • Beverly Sanders

   Editorial Board Pages: 5 - 5

2. An Experiment in Program Composition and Proof

   • K. Mani Chandy
   • Michel Charpentier

   OriginalPaper Pages: 7 - 21

3. A Simple, Object-Based View of Multiprogramming

   • Jayadev Misra

   OriginalPaper Pages: 23 - 45

4. A Notation and Logic for Mobile Computing

   • Gruia-Catalin Roman
   • Peter J. McCann

   OriginalPaper Pages: 47 - 68

5. Reduction and Quantifier Elimination Techniques for Program Validation

   • Jean-Paul Bodeveix
   • Mamoun Filali

   OriginalPaper Pages: 69 - 89

6. The Correctness of the Fast Fourier Transform: A Structured Proof in ACL2

   • Ruben A. Gamboa

   OriginalPaper Pages: 91 - 106

7. Deriving Efficient Cache Coherence Protocols Through Refinement

   • Ratan Nalumasu
   • Ganesh Gopalakrishnan

   OriginalPaper Pages: 107 - 125