1. Looped schedules for dataflow descriptions of multirate signal processing algorithms

   • Shuvra S. Bhattacharyya
   • Edward A. Lee

   OriginalPaper Pages: 183 - 205

2. Mechanically verifying safety and liveness properties of delay insensitive circuits

   • David M. Goldschlag

   OriginalPaper Pages: 207 - 225

3. A structural linearization principle for processes

   • Robert P. Kurshan
   • Michael Merritt
   • Sonia R. Sachs

   OriginalPaper Pages: 227 - 244

4. Signal transition graph constraints for synthesis of hazard-free asynchronous circuits with unbounded-gate delays

   • Radhakrishna Nagalla
   • Graham Hellestrand

   OriginalPaper Pages: 245 - 273