Proof of termination within a weak logic of programs David C. LuckhamNorihisa Suzuki OriginalPaper Pages: 21 - 36
Extended directed graphs, a formalism for structured data and data structures M. E. Majster OriginalPaper Pages: 37 - 59
Complete parameterized families of job scheduling strategies I. MitraniJ. H. Hine OriginalPaper Pages: 61 - 73