On a Method of Multiprogramming

Beschreibung

Even with all the interest in parallelism and parallel processing, there is still something missing. This book is about how to design parallel programs from their specification. It follows from the Owicki/Gries theory and can be put to work for the formal development of multiprograms regardless of whether these algorithms are distributed or not.

Autor*in

W.H.J. Feijen

Themen in »On a Method of Multiprogramming«

Annotation algorithm algorithms complexity design development parallelism programming semantics

Stimmen zu »On a Method of Multiprogramming«

Details

Link teilen