1. A formal approach to designing delay-insensitive circuits

   • Jo C. Ebergen

   OriginalPaper Pages: 107 - 119

2. On the complexity of computation in the presence of link failures: the case of a ring

   • Oded Goldreich
   • Liuba Shrira

   OriginalPaper Pages: 121 - 131

3. Computing transitive closure on systolic arrays of fixed size

   • Björn Lisper

   OriginalPaper Pages: 133 - 144

4. Specification and analysis of a data transfer protocol using systems of communicating machines

   • G. M. Lundy
   • Raymond E. Miller

   OriginalPaper Pages: 145 - 157

5. A complete axiomatic semantics of spawning

   • Sigurd Meldal

   OriginalPaper Pages: 159 - 174