1. The evolution of the SR language

   • Gregory R. Andrews
   • Ronald A. Olsson

   OriginalPaper Pages: 133 - 149

2. Compiling path expressions into VLSI circuits

   • T. S. Anantharaman
   • E. M. Clarke
   • B. Mishra

   OriginalPaper Pages: 150 - 166

3. Cheating husbands and other stories: A case study of knowledge, action, and communication

   • Yoram Moses
   • Danny Dolev
   • Joseph Y. Halpern

   OriginalPaper Pages: 167 - 176

4. Systolic algorithms as programs

   • K. Mani Chandy
   • J. Misra

   OriginalPaper Pages: 177 - 183