1. Editorial

   EditorialNotes Pages: 5 - 5

2. A model for synchronous switching circuits and its theory of correctness

   • Chaochen Zhou
   • C. A. R. Hoare

   OriginalPaper Pages: 7 - 28

3. Specification and automatic verification of self-timed queues

   • David L. Dill
   • Steven M. Nowick
   • Robert F. Sproull

   OriginalPaper Pages: 29 - 60

4. Probabilistic verification of Boolean functions

   • Jawahar Jain
   • Jacob A. Abraham
   • Donald S. Fussell

   OriginalPaper Pages: 61 - 115

5. Asynchronous datapaths and the design of an asynchronous adder

   • Alain J. Martin

   OriginalPaper Pages: 117 - 137