On a Method of Multiprogramming (Monographs in Computer Science)

On a Method of Multiprogramming (Monographs in Computer Science)

W.H.J. Feijen


the following, the authors suggest a mode for the formal improvement of parallel courses - or multiprograms as they like to name them. They accomplish this with at the least formal equipment, i.e. with the predicate calculus and the good- tested conception of Owicki and Gries. They exhibit that the Owicki/Gries conception will be successfully placed to paintings for the formal improvement of multiprograms, whether those algorithms are disbursed or no longer.

Show sample text content

Download sample