A formal approach to designing delay-insensitive circuits Jo C. Ebergen OriginalPaper Pages: 107 - 119
On the complexity of computation in the presence of link failures: the case of a ring Oded GoldreichLiuba Shrira OriginalPaper Pages: 121 - 131
Computing transitive closure on systolic arrays of fixed size Björn Lisper OriginalPaper Pages: 133 - 144
Specification and analysis of a data transfer protocol using systems of communicating machines G. M. LundyRaymond E. Miller OriginalPaper Pages: 145 - 157