The formal development of a parallel program performing LU-decomposition Johannes G. G. van de Vorst OriginalPaper Pages: 1 - 17
Corrections to “A synthesis of several sorting algorithms” by J. Darlington Dean JacobsMartin Feather Erratum Pages: 19 - 23
Correctness of semantic integrity checking in database management systems E. BertinoD. Musto OriginalPaper Pages: 25 - 57
A distributed operational semantics for CCS based on condition/event systems Pierpaolo DeganoRocco De NicolaUgo Montanari OriginalPaper Pages: 59 - 91
Applications of the theory of records in the study of random trees Luc Devroye OriginalPaper Pages: 123 - 130
High level tree transducers and iterated pushdown tree transducers Joost EngelfrietHeiko Vogler OriginalPaper Pages: 131 - 192